Nama : Wahyu Tri Wahyono

NIM : 043066369

Prodi : Sistem Informasi

TUGAS 2

MSIM4103

LOGIKA INFORMATIKA

1. Terdapat sebuah kalimat subsitusi sebagai berikut:

{(P or ( Q and R)) and (P or Q) } 𝖺 { Q  not(P or R)}
Jelaskan setiap langkah dan tentukanlah hasil dari subsitusinya!
{P or ( Q and R)} and (P or Q)
= {P or ( Q and R) and R} and {P or not (P or R)}
= {P or (not P and not R)} and {P or (not P and not R)}
= {P or (not P and FalSe)} and {(P or not P) and (P or not R)}
= (P or FalSe) and {True and (P or not R)}
= P and (P or not R)
= (P and P or (P and not R)
= P or (P and not R)

2. Terdapat sebuah kalimat subsitusi multi sebagai berikut:

{( Q or R) if and only if (P and not( Q or R))} 𝖺 {not Q  notR, ( Q or R)  S, ( Q
and notR)  (P or Q)}
Jelaskan setiap langkah dan tentukan hasil substitusinya!
➢ Subtitusi jamak-partial
= ( Q or R) if and only if {P and not ( Q or R)}
= S if only if {P and not ( Q or R)}
= ( Q or R) if and only if (P and not S)
= S if and only if (P and not S)
➢ Hukum de morgan : ∼ (P V Q) Ξ ∼P V ∼ Q
= Q or R) if only if {P and (not Q and not R)} Ξ ( Q or R) if and only if (P and not R)
= S if and only if (P and not R)
3. Terdapat sebuah kalimat sebagai berikut
F: P → ( Q and ¬ Q) or ¬ P
Buktikan dan jelaskan dengan tabel kebenaran validitas dari kalimat tersebut!
P Q Q ¬ Q ¬P
B B B S B
S B S S B
B S S S B

P → Q and ¬ Q V ¬P