Ujian Perbaikan : Informatic Logic

Dosen : R. Fitria Rachmawati, S.Si, M.Kom

Kerjakan soal di bawah ini dengan sistematis dan jelas !

1. Perhatikan proposisi majemuk berikut ini:

 Tono dan Tini keduanya pergi ke bioskop. Jika Tini pergi ke bioskop, maka Siti
akan pergi ke bioskop dan jika Tini tidak pergi maka Bowo pergi. Bowo akan
pergi jika Tini pergi. Tini akan pergi jika Siti pergi. Dengan demikian Siti pergi
ke bioskop.
a. Ada berapa jumlah premis pada proposisi diatas ?
b. Rubahlah proposisi diatas menjadi proposisi atomic
c. Bentuk kedalam bentuk ekspresi logikanya
d. Buktikan dalam bentuk table kebenaran untuk mengetahui apakah ekspresi
logika tersebut termasuk ke dalam Tautologi, Kontradiksi atau Contingent.
2. Hilangkan tanda → dan ↔ dari ekspresi logika berikut ini dan sederhanakan lagi jika
memungkinkan.
a. ¬A→¬B
b. (A→B)↔((AᴧB)↔B)
3. Buktikan dua ekspresi logika berikut ekuivalen dengan penyederhanaan.
a. ¬(¬(AᴧB) vA) ≡ 1
b. (AᴧB) v (Aᴧ¬B) ≡ A
4. Buktikan validitas argument berikut ini dengan strategi pembalikan dengan menegasikan
kesimpulan (dalam table kebenaran):
 Jika Persebaya memenangkan Liga Indonesia, maka para bonek akan senang.
Para bonek akan minum-minum jika mereka tidak senang. Dengan demikian,
jika para bonek tidak minum-minum, maka Persebaya akan memenangkan
Liga Indonesia.
5. Apakah himpunan dari 5 buah ekspresi logika berikut ini bersama-sama konsisten
(mutually consistent) dalam tablo semantik?
¬AvD, Bᴧ¬C, C→D, Ev¬D, dan Aᴧ¬E
6. Gunakan table kebenaran untuk mendapatkan Full Disjunctive Normal Form (FDNF) dan
Full Conjunctive Normal Form (FCNF) dari ekspresi logika berikut ini:
(AvB)→(Cᴧ(C→A))
7. Buktikan bahwa argument berikut ini valid dengan menggnakan teknik resolusi:
 Jika m negative, maka q negative. Jika p positif maka q negative.
Dengan demikian, jika m negative atau p positif maka q negative.

########### Selamat Bekerja ##########