Nama : Nanda Mustofa Adi Surya

NIM : 048675522
TUGAS 2

No Soal Skor
1. Perhatikan kalimat berikut ini:
F: if (P and Q) then ((P and Q) or S)
Apakah kalimat tersebut merupakan kalimat yang bersifat valid? 30
Buktikan dan jelaskan dengan menggunakan metode Proof by Falsification (PbF)!

2. Buktikan validitas kalimat

if true then ((not Q and P) or (Q or not P)) 35
dengan menggunakan pohon semantik!
3. Tentukan hasil substitusi berikut ini:
{(if Q then (R and S)) if and only if (not (P and not (R or S)))} 35
{not(R and S)R, Q(P or Q), (P and R)(Q or S)}

Jawaban

1. Menentukan penghubung kalimat, dan berikan nilai F pada penghubung terluar.

F: if (P and Q) then ((P and Q) or S)

F 4 2 4 1 3
1
- Menentukan nilai sisi kanan dan kiri dengan aturan implikasi, jika nilai implikasi F,
maka nilai sisi kiri (P and Q) harus bernilai T dan sisi kanan ((P and Q) or S) harus
bernilai F, maka tentukan nilai simbol P dan Q.

F: if (P and Q) then ((P and Q) or S)

T T T F F

T F

- Terdapat kontradiksi nilai kebenaran pada symbol Q, maka kalimat F bersifat valid.
2.

3. {(if Q then (R and S)) if and only if (not (P and not (R or S)))}

KALIMAT F

 {not(R and S)  R , Q  (P or Q) , (P and R)  (Q or S)}

G1 H1 G2 H2 G3 H3
• Terlihat bahwa hanya G2 yang memiliki permunculan pada kalimat F, sehingga hasil
subtitusinya
• if (P or Q) then (R and S)) if and only if (not (P and not (R or S)