TUGAS 1

No Soal Skor
1. a. Buatlah sebuah contoh kalimat logika proposisional yang memuat 3 simbol
proposisional, 1 simbol kebenaran dan penghubung not, and, or, if-then-else!
b. Tentukan hasil konversi kalimat if (not (P and Q) or R) then (Q and R) else R
40
dalam notasi function!
c. Tentukan dua buah kemungkinan interpretasi untuk kalimat (if (not (P and Q) or
R) then (Q and R) else R !
2. Perhatikan kalimat berikut ini:
E: if (P or Q) then (Q and R) else (not P and R) 30
Tentukan interpretasi yang mungkin dari tersebut apabila nilai kalimat E adalah false!
3. Perhatikan kalimat berikut ini:
F : if (not R) then (not P if and only if (R and P))
30
Apakah benar kalimat di atas bersifat satisfiabel?
Buktikan dan jelaskan menggunakan tabel kebenaran!