< Propositions et opération élémentaire
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.
Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.