TUGAS 2

Mata Kuliah : Logika Informatika

Nama : Aldo Okta Vernando
Nim : 042368445

1. {(P or (Q and R)) and (P or Q)} {Q-not (P or R)}

Identifikasi kalimat :
7: (P or (Q and R)) and (P or Q)
9:Q:not(P or R)
Penandaan pemunculan di dalam 7:
(P or (Q and R)) and (P or Q)
Terlihat ada dua pemunculan di dalam 7, sehingga kalimat hasil substitusinya adalah :
a. Mengganti nol pemunculan di dalam 7 dengan 2 :
(P or (Q and R)) and (P or Q)
b. Mengganti satu pemunculan pertama di dalam 7 dengan :
(P or (not(P or R) and R)) and (P or Q)
c. Mengganti satu pemunculan kedua di dalam 7 dengan 2 :
(P or (Q and R)) and (P or not(P or R))
d. Mengganti semua pemunculan di dalam 7 dengan 7 :
(P or (not(P or R) and R)) and (P or not(P or R))

2. {(Q or R) if and only if (P and not (Q or R))} {notQor Q)}

Identifikasi kalimat :
F: (Q or R) if and only if (P and not(Q or R))
G₁: notQ
H₁: notR
G₂: (Q or R)
H₂: S
G3: (Q and notR)
H3: (P or Q)
Penandaan pemunculan para G di dalam F:
(Q or R) if and only if (P and not(Q or R))
notR, (Q or R)← S, (Q and notR) — (P
Terlihat G₁: notQ dan G3: (Q and notR) tidak muncul dalam kalimat F, G₂: (Q or R) muncul
dua kali (n₁ = 0, n₂ = 2, n3 =0), sehingga banyaknya kalimat hasil substitusi multi parsial ada
4 (2⁰ x2² x 2⁰ = 4):
a. Mengganti nol pemunculan G₂ di dalam kalimat F dengan H₂:
(Q or R) if and only if (P and not(Q or R))
b. Mengganti satu pemunculan pertama G₂ di dalam kalimat F dengan H₂:
S if and only if (P and not(Q or R))
c. Mengganti satu pemunculan kedua G₂ di dalam kalimat F dengan H₂:
(Q or R) if and only if (P and nots)
d. Mengganti semua pemunculan G₂ di dalam kalimat F dengan H₂:
S if and only if (P and nots)

3. Tabel kebenaran F: p → (q and ¬ q) or ¬ p

P q ¬p ¬q q and ¬ q (q and ¬ q) or ¬ p F

true true false false false false false

true false false true false false false
false true true false true true true
false false true true false true true

Dari pengamatan menggunakan tabel kebenaran di atas dapat disimpulkan bahwa

kalimat F merupakan kalimat satisfiable, dimana kalimat satisfiable bernilai true dibawah
suatu interpretasi.