Propositions et opération élémentaire/Tables de vérité

Un exemple de table de vérité :

Valeur de vérité de (1) :	Valeur de vérité de (2) :	Valeur de vérité de P :
Vraie	Vraie	Vraie
Vraie	Fausse	Fausse
Fausse	Vraie	Vraie
Fausse	Fausse	Vraie

(L'exemple correspond à P définie par (1) $\Rightarrow$ (2))

Un tableau de vérité correctement fait a une valeur de démonstration en calcul des propositions.