Propositions et opération élémentaire/Tables de vérité
Apparence
Tables de vérité
Une table de vérité est un tableau qui indique la vérité d'une proposition P, construite à partir des propositions (1), (2) , (3), ..., en fonction des valeurs de vérité de (1), (2), (3), ...
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) (2))
Un tableau de vérité correctement fait a valeur de démonstration en calcul des propositions.