NAMA : HILDA SHAFIRA NUR CHORIZA

NIM : 047869369

TUGAS 1
MSIM4103
LOGIKA INFORMATIKA

No Soal Skor
1. Buatlah sebuah kalimat dan buktikan dengan tabel kebenaran bahwa kalimat tersebut
:
a. Valid
b. Satisfiable 40
c. Contradictory
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 30

berdasarkan tabel kebenaran!

Jawaban :

1. E : P and not Q
F : not P and Q

i P Q not not Q P and not Q not P and Q E F

P
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

a. Kalimat E maupun kalimat F tidak valid karena keduanya memiliki nilaiFalse 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 kalimatF 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
P=true dan Q = true , maka
P Q notP notQ If P the Q If notP then notQ E F
True True False False True True True True

Jadi jelas, bahwa “Jika saya bersalah, saya harus dihukum” dan “Saya tidak bersalah.
Karena itu saya tidak boleh dihukum” adalah BENAR.

3. Berikut Tabel Kebenaran :

i p q r ~p ~r q ~p r
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 T T T T F T F T F
i6 F T F T T T T F F
i7 F F T T F F T T T
i8 F F F T T F T F F

Suatu kalimat F dikatakan Satisfiable jika F bernilai true dibawah suatu interpretasi untuk F.
Ternyata benar terdapat interpretasi yg bernilai true yaitu pada i7. Maka dari itu benar bahwa kalimat
F merupakan satisfiable.