Tugas 1

Nama :Eko Rizky Manpralestyo Nurcholis

NIM : 048939482

MatKul : Logika Informatika

Pertanyaan :
Jawaban :

1. E : P and notQ
F : NotP and Q
Tabel Kebenaran
P Q NotP NotQ P and NotP E F
not Q and Q
true true false false false false false false
true false false true true false true false
false true true false false true false true
false false true true false false false false

a) Kalimat E maupun kalimat F tidak valid karena keduanya memiliki

nilai false di suatu interpretasi.
b) Kalimat E maupun kalimat F satusfiable 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. Jika ditulis terdapat dua kalimat yaitu ;

E : if P then Q
F : if notP then notQ
Tabel Kebenaran
P Q notP notQ if P If notP E F
then Q then
notQ
true true false false true true true true

Jadi, Dalam arugumen “ Jika saya bersalah, saya harus dihukum “ dan “ Saya
tidak bersalah. Karena itu saya tidak boleh dihukum “ adalah BENAR.

3. Tabel Kebenaran
P Q ¬p V q PVr
true true true true
true false true true
false true false true
false false false true

(¬p V q) Λ (q ¬r Λ ¬p) Λ (p V r) bernilai benar apabila p,q,r memiliki nilai

kebenaran yang sama. Jadi, ((¬p V q) Λ (q ¬r Λ ¬p) Λ (p V r) satisfiable
karena terdapat satu penugasan yang membuat proposisi itu benar.

Referensi : Modul MSIM4103 Logika Informatika.