Connecteur logique NON
Période historique : 1854
L'opérateur unaire d'inversion de valeur de vérité, transformant le vrai en faux et le faux en vrai.
Contenu & Formulation mathématique
Genèse & Portée historique
Opération unaire involutive vérifiant non(non p) = p (principe de double négation en logique classique). Elle correspond au complémentaire ensembliste et inverse l'ordre de l'implication par contraposition.
La logique intuitionniste de Brouwer rejette la validité générale de non(non p) => p, exigeant une preuve constructive directe sans s'appuyer sur l'absurde.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Connecteur logique NON
L'opérateur unaire d'inversion de valeur de vérité, transformant le vrai en faux et le faux en vrai.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.