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

Début de la boite de navigation du chapitre

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.

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.