1. Kalimat bagian dari kalimat F adalah:
a) (P and Q)
b) (Q and R)
c) (Q or not S)
d) P
2. Interpretasi I: {P¬true, Q¬false, R¬true} tidak merupakan interpretasi yang valid untuk kalimat F. Penjelasannya adalah sebagai berikut:
Kalimat F adalah:
(if (P and Q) then (Q and R)) or ((Q or not S) and P)
Interpretasi I memberikan nilai kebenaran sebagai berikut:
P = false
Q = true
R = true
Dengan interpretasi ini, kita dapat mengevaluasi kalimat F sebagai berikut:
(if (P and Q) then (Q and R))
= (if (false and true) then (true and true))
= (if false then true)
= true
((Q or not S) and P)
= (true or not S) and false
= false
Karena kedua bagian kalimat F bernilai benar dan salah, maka kalimat F secara keseluruhan bernilai salah.
Jadi, interpretasi I: {P¬true, Q¬false, R¬true} tidak merupakan interpretasi yang valid untuk kalimat F.