Dimara Kusuma HakimFitria Ekowati

1. Valid selalu bernilai true

2. Satisfiable bisa bernilai true

3. Contradiction selalu bernilai false

Suatu kalimat f disebut valid, jika untuk setiap interpretasi I untuk f, maka f true

Contoh : P or not P Jika P bernilai true, maka kalimat itu bernilai trueJika P bernilai false, maka kalimat itu juga bernilai true

Contoh lain :• (P and Q) if and only if (Q and P)• (P and (if R then Q)) if only if ((if R then Q) and P)• (P or Q) or not (P or Q)• (if P then not Q) if and only if not (P and Q)

BUKTIKAN DENGAN “TABEL KEBENARAN” !!!

Suatu sentence f disebut satisfiable, jika untuk suatu interpretasi I untuk f, maka f true

Contoh : P or QJika P atau Q bernilai true, maka kalimat bernilai trueJika P true, Q true. Maka kalimat bernilai false

Contoh lain :• If (if P then Q) then Q• (if P then Q) or (R and S)• (if P then Q) or R

BUKTIKAN DENGAN “TABEL KEBENARAN” !!!

Suatu sentence f disebut kontradiksi, jika untuk setiap interpretasi I untuk f, maka f false

Contoh : P and not PJika P true, maka kalimat bernilai falseJika P false, maka kalimat bernilai false

Contoh lain :• ((P or Q) and not R) if and only if ((if P then R) and (if Q then R)

BUKTIKAN DENGAN “TABEL KEBENARAN” !!!

1. not (P and (not P)) or Q2. if P then Q) or (if Q then P)3. (not Q) or not[if P then (not Q) and P}4. (if P then (not Q) if and only if not (P and

Q)5. [if (P or Q) then R] if and only if [(if P then

R) and6. (if Q then R)]7. [P if and only if (Q if and only if R)] if and

only if8. [(P if and only if Q) if and only if R]9. [if P then Q and R else (not Q) and S] if and

only if [if Q then P and R else (not P) and S]

Terdapat suatu kalimat : P and Qmaka ditulis f : P and Q

P diberi nilai True, Q diberi nilai False. Pemberian nilai ini disebut Interpretasi.Jadi ditulis : suatu Interpretasi I terhadap f berikut iniI: { Ptrue ; Q false }