P satisfait A?

• P » true ssi toujours vrai

• P » (not A) ssi non (P » A)

• P » (A or B) ssi (P » A) ou (P » B)

• P » 0 ssi P ≡ 0

• P » n[A] ssi P ≡ n[Q] et (Q » A)

• P » (A|B) ssi P ≡ (Q|R), (Q » A) et (R » B)

• P » (A -o B) ssi Q. (Q » A)  (P|Q » B)