Équivalence logique
Période historique : 1879
La double implication p ⇔ q, vraie lorsque les deux propositions partagent la même valeur de vérité.
Contenu & Formulation mathématique
Genèse & Portée historique
Notée si et seulement si (ssi), l'équivalence logique p <=> q correspond à (p => q) et (q => p). C'est une relation d'équivalence réflexive, symétrique et transitive sur les propositions, permettant de remplacer une sous-formule par une formule équivalente sans altérer la valeur de vérité.
L'abréviation française « ssi » (ou anglaise « iff » pour if and only if) a été popularisée par le mathématicien Paul Halmos pour fluidifier la rédaction des théorèmes.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Équivalence logique
La double implication p ⇔ q, vraie lorsque les deux propositions partagent la même valeur de vérité.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.