Propositions et opération élémentaire/Conjonctions et disjonctions

Début de la boite de navigation du chapitre

fin de la boite de navigation du chapitre

Soient p et q deux propositions.

Conjonctions

La conjonction des propositions p et q est la proposition notée « p et q » ou $p\land q$ qui est vraie si et seulement si p et q sont simultanément vraies, c'est-à-dire p vraie et q vraie.

Disjonctions

La disjonction des propositions p et q est la proposition notée « p ou q » ou encore $p\lor q$ qui est vraie si et seulement si au moins une des deux propositions p ou q est vraie.

Il est important de remarquer que le « ou » est inclusif, c'est-à-dire si $p\land q$ est vraie alors $p\lor q$ est vraie.

On peut résumer tout cela avec cette table de vérité :

Valeur de p	Valeur de q	Valeur de $p\lor q$	Valeur de $p\land q$
Vraie	Vraie	Vraie	Vraie
Vraie	Fausse	Vraie	Fausse
Fausse	Vraie	Vraie	Fausse
Fausse	Fausse	Fausse	Fausse

Maintenant étudions cette table de vérité :

Valeur de p	Valeur de q	Valeur de $p\land q$	Valeur de ${\bar {p}}\lor {\bar {q}}$
V	V	V	F
V	F	F	V
F	V	F	V
F	F	F	V

On remarque que ${\overline {p\land q}}$ est équivalent à ${\bar {p}}\lor {\bar {q}}$. De même, on obtiendrait ${\overline {p\lor q}}$ est équivalent à ${\bar {p}}\land {\bar {q}}$.
On peut résumer ces propriétés en disant que la négation d'un « ou » est un « et » et la négation d'un « et » est un « ou ».

Dans des exemples :

($2>10$) ou ($x^{2}=4$ a au moins une solution.)	Vraie
(4 est pair) et (Les mammouths ont disparu)	Vraie
($x+1=x+2-1$) et (${\frac {16}{4}}=3$)	Faux
$\scriptstyle {\overline {4^{2}=16}}$	Faux
$\scriptstyle {\overline {(x>2)\land (x<2)}}$	Vraie

Négation des conjonctions et disjonctions (règles de De Morgan)

Elles ont été formulées par le mathématicien britannique Augustus De Morgan (1806-1871).

Soient $P_{1}$ et $P_{2}$ deux propositions.

Début d’un théorème

Négation d'une conjonction

$\lnot (P_{1}\land P_{2})\leftrightarrow (\lnot P_{1})\lor (\lnot P_{2})$

Fin du théorème

La négation d'une conjonction de deux propositions est équivalente à la disjonction des négations de ces deux propositions.

Début d’un théorème

Négation d'une disjonction

$\lnot (P_{1}\lor P_{2})\leftrightarrow (\lnot P_{1})\land (\lnot P_{2})$

Fin du théorème

La négation d'une disjonction de deux propositions est équivalente à la conjonction des négations de ces deux propositions.