Expression exclusivement technique, usitée en logique moderne. Les valeurs de vérité sont au nombre de deux : le vrai et le faux. Elles sont assignées aux propositions atomiques (de manière analogue à l'assignation de valeurs numériques aux expressions algébriques). La valeur de vérité des propositions composées ou moléculaires est directement fonction des valeurs de vérité des propositions atomiques qui les composent (les connecteurs propositionnels de la logique sont des foncteurs de vérité) et elle se calcule d'après des règles simples. La logique la plus usitée est la logique bivalente. Il existe aussi des logiques trivalentes ou multivalentes (logique probabilitaire de H. Reichenbach, logique quantique de P. Février). Pour une part, elles représentent une prise en considération de la modalité (plutôt que l'introduction de valeurs nouvelles).
Historiquement, on trouve chez Boole (The Mathematical Analysis of Logic, 1854) la convention suivante : L'équation x = 1 signifie que la proposition x est vraie et x = 0 qu'elle est fausse. Mais c'est Frege qui, plus tard, a créé l'expression de valeur de vérité : sa théorie à l'origine était f […]
