Table de vérité
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 |
| T T F F | T F T F | F F T T | T T F T | T F T T | T F F F | T F F F | T T T F | T F F T | T T F T |