Tugas 1 logika informasi

1.
a. Buatlah sebuah contoh kalimat logika proposisional yang memuat 3 simbol
proposisional, 1 simbol kebenaran dan penghubung not, and, or, if-then-else!
Jawab : F : If (not P and Q) then False else (Q or R)
b. Tentukan hasil konversi kalimat if (not (P and Q) or R) then (Q and R) else R
dalam notasi function!
Jawab : Notasi function : If then else ((not(and(P,Q) or R)), and ((Q,R), R)
c. Tentukan dua buah kemungkinan interpretasi untuk kalimat (if (not (P and Q) or
R) then (Q and R) else R !
Jawab : a). = {P <- False, Q <- true, R <- true}. b). ={p <- true, Q <- false, R <- False}

2. Perhatikan kalimat berikut ini:

E: if (P or Q) then (Q and R) else (not P and R)
Tentukan interpretasi yang mungkin dari tersebut apabila nilai kalimat E adalah false!
Jawab:
Simbol proposal = 3
Jumlah kemungkinan = 2² = 8
P Q R Not P P and Q Q not R Not P and R If then else
T T T F T T F T
T T F F T F F F
T F T F T F F F
T F F F T F F F
F T T T T T T T
F T F T T F F F
F F T T F F T T
F F F T F F F F

Jumlah interprestasi E yang bernilai False 5

This study source was downloaded by 100000846091009 from CourseHero.com on 10-28-2022 20:20:29 GMT -05:00

https://www.coursehero.com/file/115654274/Tugas-1-logika-informasi-faizal-zaelanidocx/
 3. Perhatikan kalimat berikut ini:
F : if (not R) then (not P if and only if (R and P))
Apakah benar kalimat di atas bersifat satisfiabel? Buktikan dan jelaskan menggunakan
tabel kebenaran!
P RNot Not P R and Not P if and only if (R If(not R) then (not P If
R P and P) and only if (R and P)
T T F F T F T
T F T F F T T
F T F T F F T
F F T T F F F
P, R = 2² = 4
Bahwa kalimat 7 bersifat satisfrable

This study source was downloaded by 100000846091009 from CourseHero.com on 10-28-2022 20:20:29 GMT -05:00

https://www.coursehero.com/file/115654274/Tugas-1-logika-informasi-faizal-zaelanidocx/
Powered by TCPDF (www.tcpdf.org)