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!