Matematika Diskrit

Pertemuan 2
Dosen Pengampu : Sulistyo Dwi Sancoko,S.Si.,M.Sc.

Program Studi Informatika A & B

Universitas Teknologi Yogyakarta
Implikasi
Konvers, Invers, Kontraposisi
Latihan
Biimplikasi
Latihan
Latihan

𝒑 𝒒 ~𝒑 𝒑∧𝒒 𝒑∨𝒒 𝒑↔𝒒 𝒑 ↔ ~𝒑 𝒑 𝒒 Soal c Soal d Soal e Soal f Soal a

↔𝒒 ↔ ~𝒑

T T

T F

F T

F F
Kontradiksi, Tautologi, Kontingensi
 Contoh
p q 𝒑∧𝒒 ∼ (𝒑 ∧ 𝒒) 𝒑 ∨∼ (𝒑 ∧ 𝒒)
T T T F T
𝑝 ∨∼ (𝑝 ∧ 𝑞) merupakan
T F F T T
Tautologi
F T F T T
F F F T T

p q 𝒑∧𝒒 𝒑∨𝒒 ∼ (𝒑 ∨ 𝒒) 𝒑 ∧ 𝒒 ∧∼ (𝒑 ∨ 𝒒)
T T T T F F
𝑝 ∧ 𝑞 ∧∼ (𝑝 ∨ 𝑞)
T F F T F F
merupakan Kontradiksi
F T F T F F
F F F F T F
Ekuivalensi
Hukum
Aljabar
Proposisi
Beberapa Bentuk Ekuivalensi Proposisi
Predikat
Kuantor Universal
Kuantor Eksistensial
Negasi Dari Kuantor
Solusi :
1. Negasi dari “ Terdapat politisi yang jujur” adalah “Tidak ada politisi yang jujur”
ekuivalen mengatakan “Semua Politisi tidak jujur”.
2. Negasi dari “ Semua orang Amerika makan cheeseburgers” adalah “Tidak semua
orang Amerika makan cheeseburgers”ekuivalen mengatakan “Terdapat orang
Amerika yang tidak makan cheeseburgers”
Misalkan 𝑥 adalah Mahasiswa di kelas ini
𝑃(𝑥) adalah Mahasiswa yang belajar Kalkulus
Maka pernyataan tersebut dapat ditulis dalam bentuk kuantor sbb ∀𝑥𝑃(𝑥)

Misalkan 𝑥 adalah Mahasiswa di kelas ini.

𝑀(𝑥) adalah mahasiswa yang pernah ke Meksiko
𝐶(𝑥) adalah mahasiswa yang pernah ke Kanada
1. “Some student in this class has visited Mexico” ditulis dengan ∃𝑥 𝑀(𝑥)
2. “Every student in this class has visited either Canada or Mexico” ditulis dengan ∀𝑥 (𝐶 𝑥 ∨ 𝑀 𝑥 )