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

Début de la boite de navigation du chapitre

Un exemple de table de vérité :

fin de la boite de navigation du chapitre

Table de vérité

Une table de vérité est un tableau qui indique la vérité d'une proposition P à partir des propositions (1), (2) , (3), ..., et de leurs valeurs de vérité respectives.

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.