Tableau qui indique, pour un ensemble de propositions élémentaires et leurs négations, la valeur de vérité des diverses compositions de propositions à l’aide des connecteurs logiques.
Exemples
- Voici la table de vérité de chacun des connecteurs logiques :
P | Q | ¬P | ¬Q | P → Q | ¬P → ¬Q | P ∧ Q | P ∨ Q | P ↔ Q | Q → P | ¬P → ¬Q |
V V F F |
V F V F |
F F V V |
F V F V |
V F V V |
V F F F |
V F F F |
V V V F |
V F F V |
V V F V |
V V F V |
- La table de vérité de la conjonction de deux propositions P et Q est un sous-ensemble du tableau précédent :
P | Q | P ∧ Q |
V V F F |
V F V F |
V F F F |