Perlihatkan dengan menggunakan Proof by Falsification bahwa kalimat berikut ini merupakan kalimat

yang valid!

E: ((P or not P) if and only if (Q or S)) if and only if (Q or S)

Diskusikan jawaban di atas dengan dengan mengacu kepada rubrik skor.

Jawab :

Ø Asumsikan pada kalimat ((P or not P) if and only if(Q or S))if and only if(Q or S) tidak valid dan
bernilai false. Sehingga menjadi :

((Pv~P) <–> (QvS)) <–> (QvS)

F

Ø Aturan semantik if and only if bernilai false apabila kedua kalimat bersifat false, Sehingga :

m
er as
((Pv~P) <–> (QvS)) <–> (QvS)

co
F

eH w
o.
rs e T F
ou urc
Ø Sesuai aturan semantik disjungsi /or bernilai false jika kedua kalimat juga bernilai false. Dan aturan
semantik if and only if bernilai True jika kedua kalimat bagiannya bernilai sama. Sehingga
o

menjadi :
aC s
vi y re

((Pv~P) <–> (QvS)) <–> (QvS)

F
ed d

T T T FFF
ar stu
is

Ø Selanjutnya menggunakan aturan semantic disjungsi dan hasilnya terdapat kontradiksi pada nilai Q
bernilai false dan true :
Th

((Pv~P) <–> (QvS)) <–> (QvS)

sh

TT FT TTF FFF

This study source was downloaded by 100000836998803 from CourseHero.com on 11-16-2021 08:09:19 GMT -06:00

https://www.coursehero.com/file/116992080/logika-informatika-sesi-4docx/
 Sumber referensi : Materi inisiasi sesi 4

m
er as
co
eH w
o.
rs e
ou urc
o
aC s
vi y re
ed d
ar stu
is
Th
sh

This study source was downloaded by 100000836998803 from CourseHero.com on 11-16-2021 08:09:19 GMT -06:00

https://www.coursehero.com/file/116992080/logika-informatika-sesi-4docx/
Powered by TCPDF (www.tcpdf.org)