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, 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 des tables de vérité comme suit :
dans lesquelles – signifie « et » et ⊃ signifie « si… alors ». (Dans le tableau » ou « , par exemple, la deuxième ligne se lit comme suit : » Si p est vrai et q est faux, alors p ∨ q est vrai « ). Des tables de vérité d’une complexité bien plus grande, celles qui comportent un certain nombre de fonctions de vérité, peuvent être construites au moyen d’un ordinateur. Des systèmes abstraits de logique ont été construits qui emploient trois valeurs de vérité (par exemple, vrai, faux et indéterminé) ou même plusieurs, comme dans la logique floue, dans laquelle les propositions ont des valeurs comprises entre 0 et 1.