TUGAS 1 LOGIKA INORMATIKA

NAMA : LILIK HERAWATI

NIM : 048756947

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!

Jawab No.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.

Jawab No.2

Berikut adalah tabel kebenaran untuk kedua kalimat F dan G:

P Q R (P and Q) (not R) (not P or not Q) F: (P and Q) then R G : (not R) then (not P or not Q)

T T T T F F T T

T T F T T F F F

T F T F F F T T

T F F F T F T T

F T T F F F T T

F T F F T T T T

F F T F F T T T

F F F F T T T T

Dari tabel kebenaran di atas, dapat dilihat bahwa untuk setiap baris, kedua kalimat F dan G memiliki nilai
kebenaran yang sama. Oleh karena itu, dapat disimpulkan bahwa kalimat F: if (P and Q) then R dan G: if
(not R) then (not P or not Q) adalah ekuivalen.

Jawab No. 3
F : if (not R) then (not P if and only if (R and P))
Kalimat tersebut mengandung pernyataan kondisional "if (not R) then (not P if and only if (R and P))".
Implikasi logis adalah jenis pernyataan yang menyatakan bahwa jika suatu kondisi terpenuhi, maka kondisi
lainnya juga terpenuhi.
Langkah-langkah untuk membuktikan sifat kalimat menggunakan pohon semantik:
Identifikasi proposisi dalam kalimat:
- R: Pernyataan R
- P: Pernyataan P
1

2
3
T
4 5
T

6
7
T

9 T 8
T
Evaluasi kebenaran proposisi:
- Evaluasi kebenaran proposisi dengan melihat kebenaran setiap cabang pada pohon semantik.
- Jika semua cabang menghasilkan kebenaran yang konsisten, maka kalimat asli adalah benar.