Sabtu, 05 Nov 2022 

 
Diskusi Tutorial
5
Nama : Nazila Putri Aglianti
NIM : 044562662
Program Studi : S1-Sistem Informasi
UPBJJ : Jakarta
Kode Mata Kuliah : MSIM4103
Nama Mata Kuliah : Logika Informatika

Pertanyaan :

Tentukan hasil dari substitusi berikut :

{((P or Q) and (not Q or R)) if and only if (Q or not (Q or R))} ◁ {(Q or R) ← (P and R), not Q ← (P or Q)}

Jawaban :

{((P or Q) and (not Q or R)) if and only if (Q or not (Q or R))} ◁ {(Q or R) ← (P and R), not Q ← (P or Q)}

Identifikasi kalimat-kalimat :

F : (P or Q) and (not Q or R)) if and only if (Q or not (Q or R)

g 1: (Q or R)

g 2: not Q 

H 1: (P and R)

H 2: (P or Q)

Penandaan permunculan g didalam F :

(P or Q) and (not Q or R)) if and only if (Q or not (Q or R)

{((P or Q) and (not Q or R)) if and only if (Q or not (Q or R))} ◁ {(Q  or  R) ← (P and R), not Q ← (P or Q)}

F g1H 1g2 H 2

Terlihat bahwa g 1: (Q or R) muncul sebanyak 2 kali di dalam kalimat F dan g 2 : not Q  muncul hanya 1 kali di
dalam kalimat F sehingga kalimat hasil subtitusi :
(P or Q) and (not Q or R)) if and only if (Q or not (Q or R)

((P  or (P or Q)) and (not Q ( P or Q)) or R)) if and only if (( P or Q) or not (P and R))
Kalimat-kalimat (karena subtitusi parsial ) hasil subtitusi :
1. Pergantian nol permunculan :
((P or Q) and (not Q or R)) if and only if (Q or not (Q or R))

2. Pergantian permunculan g 1 :
((P or Q) and (not Q or R)) if and only if (Q or not (P and R))

3. Pergantian permunculan g 2 :
((P or Q) and (P or Q)) or R)) if and only if (Q or not (Q or R))

4. Pergantian permunculan g 1dan g 2:

((P or Q) and (P or Q)) or R)) if and only if (Q or not (P and R))