TUGAS 1

No Soal Skor
1. Diketahui dua kalimat logika proposisional F: if true then (not P and Q) else (Q or not
S) dan G: not (P or Q) and (if P then R else (P and not Q)). Tentukan semua 30
kemungkinan interpretasi untuk kedua kalimat F dan G!
2. Dengan menggunakan tabel kebenaran, perlihatkan bahwa kalimat F: if (P and Q)
40
then R dan G: if (not R) then (not P or not Q) ekuivalen!
3. Perhatikan kalimat berikut ini:
F : if (not R) then (not P if and only if (R and P))
30
Apakah sifat dari kalimat di atas? Buktikan dan jelaskan menggunakan pohon
semantik!
Jawaban

1. Untuk menentukan semua kemungkinan interpretasi untuk kedua kalimat F dan G, kita
perlu mempertimbangkan setiap kemungkinan nilai kebenaran untuk proposisi P, Q, R,
dan S. Proposisi dapat bernilai True (benar) atau False (salah).

1. P = True, Q = True, R = True, S = True

- F: if True then (not True and True) else (True or not True) = True

- G: not (True or True) and (if True then True else (True and not True)) = False

2. P = True, Q = True, R = True, S = False

- F: if True then (not True and True) else (True or not False) = True

- G: not (True or True) and (if True then True else (True and not True)) = False

3. P = True, Q = True, R = False, S = True

- F: if True then (not True and True) else (True or not True) = True

- G: not (True or True) and (if True then False else (True and not True)) = False

4. P = True, Q = True, R = False, S = False

- F: if True then (not True and True) else (True or not False) = True

- G: not (True or True) and (if True then False else (True and not True)) = False

5. P = True, Q = False, R = True, S = True

- F: if True then (not True and False) else (False or not True) = False

- G: not (True or False) and (if True then True else (True and not False)) = False

6. P = True, Q = False, R = True, S = False

- F: if True then (not True and False) else (False or not False) = False

- G: not (True or False) and (if True then True else (True and not False)) = False

7. P = True, Q = False, R = False, S = True

- F: if True then (not True and False) else (False or not True) = False

- G: not (True or False) and (if True then False else (True and not False)) = False

8. P = True, Q = False, R = False, S = False

- F: if True then (not True and False) else (False or not False) = False

- G: not (True or False) and (if True then False else (True and not False)) = False

9. P = False, Q = True, R = True, S = True

- F: if False then (not False and True) else (True or not True) = True

- G: not (False or True) and (if False then True else (False and not True)) = False

10. P = False, Q = True, R = True, S = False

- F: if False then (not False and True) else (True or not False) = True

- G: not (False or True) and (if False then True else (False and not False)) = False

11. P = False, Q = True, R = False, S = True

- F: if False then (not False and True) else (True or not True) = True

- G: not (False or True) and (if False then False else (False and not True)) = False

12. P = False, Q = True, R = False, S = False

- F: if False then (not False and True) else (True or not False) = True

- G: not (False or True) and (if False then False else (False and not False)) = False
13. P = False, Q = False, R = True, S = True

- F: if False then (not False and False) else (False or not True) = True

- G: not (False or False) and (if False then True else (False and not True)) = False

14. P = False, Q = False, R = True, S = False

- F: if False then (not False and False) else (False or not False) = True

- G: not (False or False) and (if False then True else (False and not False)) = False

15. P = False, Q = False, R = False, S = True

- F: if False then (not False and False) else (False or not True) = True

- G: not (False or False) and (if False then False else (False and not True)) = False

16. P = False, Q = False, R = False, S = False

- F: if False then (not False and False) else (False or not False) = True

- G: not (False or False) and (if False then False else (False and not False)) = False

Jadi, terdapat 16 kemungkinan interpretasi untuk kedua kalimat F dan G.

 2.

Dari tabel diatas kita mengetahui bahwa pernyataan kalimat F: if (P and Q) then R dan G: if (not
R) then (not P or not Q) tidak ekuivalen!
3.