Tautologie
Période historique : 1921
Proposition formelle restant invariablement vraie quelle que soit la valeur de vérité de ses composantes.
Contenu & Formulation mathématique
Genèse & Portée historique
Une formule propositionnelle phi est une tautologie si pour toute valuation v, on a v(phi) = 1. Parmi les tautologies célèbres figurent le tiers exclu (p ou non p), le principe de non-contradiction non(p et non p) et le modus ponens ((p implique q) et p) implique q.
Ludwig Wittgenstein plaçait les tautologies au cœur de la logique dans le Tractatus : « Les propositions de la logique sont des tautologies. Les propositions de la logique ne disent donc rien ».
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Tautologie
Proposition formelle restant invariablement vraie quelle que soit la valeur de vérité de ses composantes.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.