TS*-PCSI2
N. Véron-LMB
Eléments de logique 2 : les quantificateurs
Une proposition peut être vraie ou fausse
en fonction d’une ou de plusieurs variables
(on parle alors de prédicat).
Exemples:
(P): ABC est isocèle en A dépend de ABC
(Q): x
2
>4 dépend de
x
(R): x²+y²=1 dépend
x et y
A partir d'une telle proposition notée p(x) on peut construire des propositions en
utilisant des
quantificateurs:
∀
∀∀
∀
x
∈
∈∈
∈
E, p(x)
signifie pour tout x dans E, p(x) est vraie
∃
∃∃
∃
x
∈
∈∈
∈
E, p(x)
signifie il existe (au moins) un élément de E pour lequel p(x) est
vraie
Exemples:
Pour tout x∈[0,1], x²≤1 se note ∀x∈[0,1], x²≤1
Il existe un entier naturel n tel que u
n
est positif se note ∃n∈
, u
n
≥0
∀x∈
, x²≥0 est une proposition vraie
∃x∈
, x²-1=0 est une proposition.
VRAIE par exemple x=1
∀x∈
, x²-1=0 est une proposition
FAUSSE par exemple x=2
∃x∈
, x²+1=0 est une proposition.
FAUSSE
Retenons: Pour montrer qu'une proposition écrite avec le quantificateur universel est
fausse, il suffit de trouver un contre-exemple, donc de montrer qu'il existe un élément
de E pour lequel p(x) est faux.
Avec cette idée en tête, écrire en français la négation des affirmations suivantes
A: Tous les chemins mènent à Rome.
Il existe un chemin qui ne mène pas à Rome
B: Tous les élèves de TS6 suivent la spécialité math
Il existe un élève qui ne fait pas la spécialité math
C: Il existe de gentils professeurs de mathématiques
Tous les professeurs de mathématiques sont méchants
D: Il existe des élèves de PCSI2 qui ne font pas leur travail.
Tous les élèves de PCSI2 font leur travail.
La négation de la proposition
∀
∀∀
∀
x
∈
∈∈
∈
E, p(x) s'écrit
∃
∃∃
∃
x
∈
∈∈
∈
E, non p(x)
La négation de la proposition
∃
∃∃
∃
x
∈
∈∈
∈
E, p(x) s'écrit
∀
∀∀
∀
x
∈
∈∈
∈
E, non p(x)