∑
MathTCG
#087 / 100•Space, Chance & Computation•MathTCG #487 / 500•★Commune•∀Logique•Concept

Connecteur logique ET

Période historique : 1854

La conjonction logique binaire notée ∧, vraie si et seulement si ses deux propositions sont vraies.

Contenu & Formulation mathématique

Définition rigoureuse
La conjonction logique binaire notée ∧, vraie si et seulement si ses deux propositions sont vraies.
p∧q=1  ⟺  p=1  ∧  q=1,p∧q≡p⋅qp \land q = 1 \iff p = 1 \;\land\; q = 1, \quad p \land q \equiv p \cdot q

Genèse & Portée historique

Opérateur booléen fondamental correspondant au produit algébrique binaire (1 * 1 = 1, toute autre combinaison donne 0) et à l'intersection d'ensembles. Il est commutatif, associatif et distributif par rapport au connecteur OU.

George Boole l'a modélisé dans Les Lois de la pensée en 1854 sous la forme d'une multiplication arithmétique ordinaire sur l'anneau {0, 1}.

« L'exigence absolue de la concorde : les deux conditions doivent se vérifier ensemble. »

Filiations & Relations conceptuelles (0)

Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.

Objet de collection MathTCG

#487
★Commune
∀

Connecteur logique ET

Logique•CONCEPT

La conjonction logique binaire notée ∧, vraie si et seulement si ses deux propositions sont vraies.

p∧q=1  ⟺  p=1  ∧  q=1,p∧q≡p⋅qp \land q = 1 \iff p = 1 \;\land\; q = 1, \quad p \land q \equiv p \cdot q
1854

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.

Extension : Space, Chance & Computation (#087 / 100)
Numéro global MathTCG : MathTCG #487 / 500
Rareté officielle : Commune (★)
Domaine théorique : Logique
Identifiant pérenne : connecteur-logique-et