Implication logique
Période historique : 1879
La relation conditionnelle p ⇒ q, fausse uniquement lorsque la prémisse est vraie et la conclusion fausse.
Contenu & Formulation mathématique
Genèse & Portée historique
L'implication matérielle p => q est logiquement équivalente à (non p ou q). Si la prémisse p est fausse, l'implication est automatiquement vraie (principe ex falso quodlibet). Elle est le vecteur fondamental de toute démonstration déductive via la règle du modus ponens.
Philon de Mégare et Diodore Cronos débattaient déjà au IVe siècle avant J.-C. de la définition précise de l'implication, Philon ayant proposé la définition matérielle moderne adoptée par Frege et Russell.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Implication logique
La relation conditionnelle p ⇒ q, fausse uniquement lorsque la prémisse est vraie et la conclusion fausse.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.