esempi di formule

• $(\neg (\neg A))\vee A$ è falsificabile e soddisfacibile
• $(\neg A)\vee (\neg (\neg A))$ è tautologia
• $(\neg (A\vee B))⟺(A\wedge B)$ è falsificabile e soddisfacibile

A	B	formula
V	V	V
V	F	V
F	V	V
F	F	F

• $(A⟹B)⟺(\neg B⟹\neg A)$ è una tautologia (principio di contrapposizione)

• $(A\wedge \neg A)⟹B$ è una tautologia.

• Se $\models (A⟹B)$ allora $\models ((A\wedge B)⟺A)$ Tutte le volte che $A$ è vero, $B$ è vero. Quindi tutte le volte che $A$ e $B$ sono veri, $A\wedge B$ è vero. Tutte le volte che $A\wedge B$ è vero, $A$ è vero, quindi $((A\wedge B)⟺A)$ è una tautologia.