Valeur de vérité
Valeur de vérité, en logique, vérité (T ou 1) ou fausseté (F ou 0) d'une proposition ou d'un énoncé donné. Les connecteurs logiques, tels que la disjonction (symbolisée ∨, pour " ou ") et la négation (symbolisée ∼), peuvent être considérés comme des fonctions de vérité, car la valeur de vérité d'une proposition composée est une fonction de, ou une quantité dépendant des valeurs de vérité de ses composants. La valeur de vérité d'un énoncé composé peut facilement être testée au moyen d'un tableau appelé table de vérité. Chaque ligne du tableau représente une combinaison possible de valeurs de vérité pour les propositions composantes du composé, et le nombre de lignes est déterminé par le nombre de combinaisons possibles. Par exemple, si le composé ne contient que deux propositions composantes,…