Valeur-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é ∨, pour «ou») et la négation (symbolisé ∼), 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 ou une quantité dépendante de, les valeurs de vérité de ses composants.
La valeur de vérité d'une déclaration composée peut facilement être testée au moyen d'un tableau connu sous le nom de table de vérité. Chaque ligne du tableau représente une combinaison possible de valeurs de vérité pour les propositions de composants 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 de composants, il y aura quatre possibilités et donc quatre lignes dans le tableau. Les propriétés logiques des connecteurs communs peuvent être affichées par les tables de vérité comme suit:
dans laquelle · signifie «et» et ⊃ signifie «si… puis." (Dans la table «ou», par exemple, la deuxième ligne se lit comme suit: «Si p est vrai et q est faux, alors p ∨ q est vrai.»), peut être construit au moyen d'un ordinateur. Des systèmes abstraits de logique ont été construits qui utilisent trois valeurs de vérité (par exemple, vrai, faux et indéterminé) ou même plusieurs, comme dans la logique floue, dans lesquelles les propositions ont des valeurs comprises entre 0 et 1.
