TUGAS 1

MSIM4103
LOGIKA INFORMATIKA

No Soal Skor
1. Buatlah sebuah kalimat dan buktikan dengan tabel kebenaran bahwa kalimat tersebut :
a. Valid
b. Satisfiable
c. Contradictory 40
d. implies

2. Jika ada seseorang berargumen:

“Jika saya bersalah, saya harus dihukum”
“Saya tidak bersalah. Karena itu saya tidak boleh dihukum”
30
Menurut anda apakah argument tersebut benar? Jelaskan

3. Perhatikan kalimat berikut yang dilambangkan dengan F:

F = (¬p ∨ q) ∧ (q → ¬r ∧ ¬p) ∧ (p ∨ r) kalimat diatas adalah satisfiable. Apakah anda

setuju? Buktikan dan jelaskan berdasarkan tabel kebenaran! 30

Nama : Umar Zaid Ridwan
Nim : 044382061
Upbjj : Serang

Jawaban
1. 1.E: P and notQ
F: notP and Q
i P Q notP notQ P and not Q notP and Q E F
i1 True True False False False False False False
i2 True False False True True False True False
i3 False True True False False True False True
i4 False False True True False False False False

alimat
a.Kalimat E maupun kalimat F tidak valid karena keduanya memiliki nilai false di suatu
interpretasi.
b. kalimat E maupun kalimat F satisfiable karena keduanya memiliki nilai true di suatu
interpretasi.
c. kalimat E maupun kalimat F tidak contradictory karena keduanya memiliki nilai true di
suatu interpretasi.
d. kalimat E implies kalimat F tidak berlaku karena terdapat perbedaan nilai pada
interpretasi i2 dan i3

2. Kalimat “Jika saya bersalah, saya harus dihukum” bisa di tulis E: if P then Q dan kalimat
“Saya tidak bersalah. Karena itu saya tidak boleh dihukum”bisa ditulis F: if not P then
not Q. Jadi kita memiliki 2 kalimat, yaitu:
E: if P then Q dan F: if not P then not Q
True True, maka:
P Q notP notQ if P then Q if notP then notQ E F
True True False False True True True True
Jadi jelas, bahwa argumen “Jika saya bersalah, saya harus dihukum”dan “Saya tidak
bersalah. Karena itu saya tidak boleh dihukum” adalah BENAR

3. Berikut table kebenarannya

i p q r r q r
p p
i1 T T T F F T F T F
i2 T T F F T T F T F
i3 T F T F F F F T F
i4 T F F F T F F T F
i5 F T T T F T F T F
i6 F T F T T T T F F
i7 F F T T F T T T T
 i8 F F F T T T T F F
Suatu kalimat F Satisfiable jika F bernilai true dibawah suatu interpretasi untuk F
Ternyata benar terdapat interpretasi yang bernilai true yang bernama i7. Maka dari itu benar
bahwa kalimat F merupakan Satisfiable