sifat-sifat kalimat logika

•  Valid / tautologi

Suatu sentence f disebut valid, jika untuk setiap interpretation I for f,      maka f true

Contoh:

a.            (f and g) if and only if (g and f)

b.            f or not f

c.            (p and (if r then s)) if and only if ((if r then s) and p)

d.            (p or q) or not (p or q)

e.            (if p then not q) if and only if not (p and q)

•  Satisfiable

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

Contoh:

a.            If (if p then q) then q

b.            (if p then q) or (r and s)

c.            (if p then q) or r

•   Kontradiksi

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

Contoh:

a.            p and not p

b.            ((p or q) and not r) if and only if ((if p then r) and (if q then r)