DISKUSI 2

Interpretasi Awal (J: {P ← False, Q ← True, S←True}):

Hitung nilai kebenaran kalimat F;

F: ((P and Q) or S) if and only if (P and (Q or S))

= (( false and true) or true) if and only if(false and (true or true))
= (false or true) id and only if (false and true)
= true if and only if false
= False

Maka nilai kebenaran kalimat F dalam interpretasi awal adalah False

Interpretasi yang di perluas (<S ← false> . <Q← false> . J):

Dalam Interpretasi ini, mengganti nilai S dan Q :

S = False (dari <S ← False>)

Q = False (dari <Q ← False>)

Nilai P tetap sama

Hitung nilai kebenaran kalimat F dengan Interpretasi yang di perluas:
F: ((P dan Q) or S) if and only if (P and (Q or S))
= ((False and False) or False) if and only if (False and (False or False))
= (False or False( if and only if (False and False)
= True

Maka, nilai kebenaran kalimat F dalam Interpretasi yang di perluas adalah True

Nilai kebenaran kalimat F berubah dari False dalam Interpretasi awal menjadi True dalam
interpretasi yang di perluas (<S ← False> . <Q ← False > . J)