FAKULTAS TEKNOLOGI INFORMASI

LOGIKA MATEMATIKA
[ MI041/ 3 SKS ]
 FAKULTAS
TEKNOLOGI INFORMASI

Pertemuan 4
EKUIVALENSI & HUKUM LOGIKA
 FAKULTAS
TEKNOLOGI INFORMASI

Tujuan Pembelajaran
❑Mahasiswa dapat menyelesaikan pola ekuivalensi
dengan menggunakan tabel dan hukum Logika
 FAKULTAS
TEKNOLOGI INFORMASI

Topik Pembahasan

❑Ekuivalensi dengan tabel

❑Hukum Logika
❑Ekuivalensi dengan hukum logika
 FAKULTAS
TEKNOLOGI INFORMASI

Topik Pembahasan
❑Transformasi implikasi
❑AB  AB
 FAKULTAS
TEKNOLOGI INFORMASI

Topik Pembahasan
❑Ingkaran dari Disjungsi. Konjungsi , Implikasi , Bi
Implikasi :

A B = A B
A B = A B
A  B = A B
A  B = (A  B)  (B  A )
 FAKULTAS
TEKNOLOGI INFORMASI

Topik Pembahasan
❑Hukum Ekuivalensi
❑Dua kalimat disebut ekuivalen bila dan hanya bila keduanya mempunyai
nilai kebenaran yang sama untuk semua subtitusi nilai kebenaran masing
masing kalimat penyusun.
 FAKULTAS
TEKNOLOGI INFORMASI

Topik Pembahasan
❑Hukum-hukum logika
 FAKULTAS
TEKNOLOGI INFORMASI

Topik Pembahasan
5. Hukum involusi 6. Hukum absorpsi
(negasi ganda) 1).P  (P  Q)  P
PP 2).P  (P  Q)  P
7. Hukum komutatif 8. Hukum asosiatif
1).P  Q  Q  P 1).P  (Q  R)  (P  Q)  R
2).P  Q  Q  P 2).P  (Q  R)  (P  Q)  R
9. Hukum distributif 10. Hukum De Morgen
1).P  (Q  R)  (P  Q)  (P  R) 1).P  Q  P  Q
2).P  (Q  R)  (P  Q)  (P  R) 2).P  Q  P  Q
 FAKULTAS
TEKNOLOGI INFORMASI

Topik Pembahasan
❑Contoh Penggunaan Hukum Logika
❑Diketahui : (pq)  (pq)  p
❑Ditanya : Buktikan bahwa pernyataan yang terletak di kiri ekuivalen
dengan pernyataan yang ada di sebelah kanan!
❑Jawab : (pq)  (pq)  p
p (qq)  p (Hukum Distributif)
p  T  p (Hukum Negasi)
p  p (Hukum Identitas)
 FAKULTAS
TEKNOLOGI INFORMASI

Topik Pembahasan
❑Soal
❑ Buktikan ekuivalensi dari pernyataan-pernyataan berikut ini dengan menggunakan
hukum logika:
1)  (p  q) v (p  q)  p
2)  ((p  q)  (p  q))  (p  q)  p
3) (q  p)  (p  q)
4) (p  (q  r))  ((p  q)  r)
5) (p  (q  r))  (q  r)  (p  r)  r
 FAKULTAS
TEKNOLOGI INFORMASI

Kesimpulan

Transformasi Hukum
Ingkaran Ekuivalensi
Impliksi Logika
 FAKULTAS
TEKNOLOGI INFORMASI

KESIMPULAN
SELESAI