LOGIKA INFORMATIKA
Pertemuan Ke-6
Disusun Oleh :
KHOLIFUDIN 1957201038
1. Jika m negatif maka q negatif, Jika p positif maka q negatif. Dengan demikian, jika m
negatif atau p positif maka q negatif.
A = m negatif
B = q negatif
C = p positif
(1) A -> B
(2) C -> B
(3) (A v C) -> B
2. Jika m negatif, maka q negatif. Jika p positif maka q negatif. Dengan demikian, jika m
negatif dan p positif maka q negatif.
A = m negatif
B = q negatif
C = p positif
(1) A -> B
(2) C -> B
(3) (A ^ C) -> B
((A -> B)^(C -> B)) -> (A ^ C) -> B
3. Jika Badu mencontek saat ujian maka pengawasnya lalai atau dosennya telah
memperingatkan. Jika dosennya tidak memperingatkan, maka pengawasnya tidak
lalai. Dosennya memperingatkan. Dengan demikian, Badu mencontek saat ujian.
A = Badu mencontek saat ujian
B = Pengawasnya lalai
C = Dosennya telah memperingatkan
(1) A -> (B v C)
(2) ~C -> ~B
(3) C
(4) A