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

Connecteur logique OU

Période historique : 1854

La disjonction inclusive notée ∨, vraie dès qu'au moins l'une de ses deux propositions est vraie.

Contenu & Formulation mathématique

Définition rigoureuse
La disjonction inclusive notée ∨, vraie dès qu'au moins l'une de ses deux propositions est vraie.
p∨q=0  ⟺  p=0  ∧  q=0,¬(p∨q)≡¬p∧¬qp \lor q = 0 \iff p = 0 \;\land\; q = 0, \quad \neg(p \lor q) \equiv \neg p \land \neg q

Genèse & Portée historique

Opérateur booléen binaire n'étant faux que si ses deux opérandes sont simultanément faux. Il correspond à la réunion ensembliste et aux lois de De Morgan reliant conjonction et disjonction par la négation.

En latin, le « vel » représentait la disjonction inclusive (l'un, l'autre ou les deux), d'où dérive le symbole universel en forme de V (∨) adopté par Peano et Russell.

« La porte ouverte du possible : qu'une seule étincelle brille, et la formule s'allume. »

Filiations & Relations conceptuelles (0)

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

Objet de collection MathTCG

#488
★Commune
∀

Connecteur logique OU

Logique•CONCEPT

La disjonction inclusive notée ∨, vraie dès qu'au moins l'une de ses deux propositions est vraie.

p∨q=0  ⟺  p=0  ∧  q=0,¬(p∨q)≡¬p∧¬qp \lor q = 0 \iff p = 0 \;\land\; q = 0, \quad \neg(p \lor q) \equiv \neg p \land \neg q
1854

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

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