Table de vérité
Période historique : 1921
Tableau évaluant la valeur de vérité d'une proposition logique pour chaque combinaison d'entrées.
Contenu & Formulation mathématique
Genèse & Portée historique
Pour une proposition composée de n variables propositionnelles, la table de vérité énumère systématiquement les 2^n attributions possibles de Vrai (1) et Faux (0). Elle permet de décider algorithmiquement si une formule est une tautologie, une contradiction ou une formule contingente.
Introduite indépendamment par Emil Post en 1921 et Ludwig Wittgenstein dans son Tractatus Logico-Philosophicus en 1921 pour définir les fonctions de vérité.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Table de vérité
Principe : Tableau évaluant la valeur de vérité d'une proposition logique pour chaque combinaison d'entrées.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.