Ag.

Tri Kawuri
042496418
UPBJJ YOGYAKARTA

TUGAS 2
SEMESTER: 2020/2021.1 (20.2)

No Soal Skor
1. Terdapat sebuah kalimat subsitusi sebagai berikut:

{(P or (Q and R)) and (P or Q) }  {Q  not(P or R)}

30
Jelaskan setiap langkah dan tentukanlah hasil dari subsitusinya!

2. Terdapat sebuah kalimat subsitusi multi sebagai berikut:

{(Q or R) if and only if (P and not(Q or R))}  {notQ  notR, (Q or R)  S, (Q and

notR)  (P or Q)} 30

Jelaskan setiap langkah dan tentukan hasil substitusinya!

3. Terdapat sebuah kalimat sebagai berikut

F: p → (q and ¬ q) or ¬ p
40
Buktikan dan jelaskan dengan tabel kebenaran validitas dari kalimat tersebut!
Ag. Tri Kawuri
042496418
UPBJJ YOGYAKARTA

Jawab:
1. {(P or (Q and R)) and (P or Q) }  {Q  not(P or R)}
Identifikasi kalimat
(P or (Q and R)) and (P or Q)
Q
not(P or R)
Penanda pemunculan di dalam :
(P or (Q and R)) and (P or Q)

Kalimat-kali,at hasil subtitusi

1) Penggantian nol pemunculan G
(P or (Q and R)) and (P or Q)
2) Penggantian satu pemunculan pertama:
(P or (not(P or R)) and R)) and (P or Q)
3) Penggantian satu pemunculan kedua:
(P or (Q and R)) and (P or not(P or R))
4) Penggantian semua pemunculan:
(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))}  {notQ  notR, (Q or R)  S, (Q and

notR)  (P or Q)}
Identifikasi kalimat:
(Q or R) if and only if (P and not(Q or R)
: notQ

: (Q or R)

: (Q and notR)

: notR

:S

: (P or Q)

Penandaan pemunculan para di dalam kalimat

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

Ag. Tri Kawuri
042496418
UPBJJ YOGYAKARTA

Terlihat bahwa hanya yang muncul didalam kalimat (𝑎𝑡𝑎𝑢 𝑛1 = 0, 𝑛2 = 1, 𝑛3 = 0)

sehingga banyaknya kalimat hasil subtitusi multi parsial ada dua ( 20 𝑥 21 𝑥20 = 2).

1) Penggantian nol pemunculan di dalm kalimat

(Q or R) if and only if (P and not(Q or R)
2) Penggantian satu(semua) pemunculan di dalam kalimat
(Q or R) if and only if (P and not S)

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

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

Kalimat tersebut adalah kalimat valid