Alg´ebre Professeur: Elmahdi Erraji
•L’expression ∃!x∈E p(x), est vraie lorsqu’il existe un unique ´el´ement
xde Etel que p(x) est vraie.
Example •”∀x∈[0.1] (x2≥1)” est une assertion vraie.
•”∃x∈]− ∞,0[ (x≥0)” est une assertion fausse.
La n´egation des quantificateur
•La n´egation de ”∀x∈E p(x)” est ”∃x∈E¬p(x)”.
•La n´egation de ”∃x∈E p(x)” est ”∀x∈E¬p(x)”.
1.3 Raisonnement
1.3.1 Raisonnement direct
C’est l’argument la plus classique est le plus utiliser comme argument pour
montrer les assertions on se basant sur des hypoth`eses. Si ona des donn´ee
(hypoth`eses) sous forme d’assertion pet on veut montrer la v´erit´e d’une
autre assertion q, on justifie la v´erit´e de l’assertion p⇒qpuis on conclue la
v´erit´e de qon se basant sur p.
si pest vrai et p⇒qest vraie alors qest vraie.
Example soit a, b ∈Qmontrer que a+b∈Q??
a∈Qet b∈Q⇒a=p
qet b=p0
q0avec p, p0∈Zet q, q0∈N
⇒a+b=pq0+qp0
qq0avec p, p0∈Zet q, q0∈N
⇒a+b∈Q
1.3.2 Raisonnement par contrapos´e
Parfois les raisonnement direct parait inefficace pour ateindre notre objectif.
Dans ce cas on consid`ere la n`egation du r´esultat comme hypoth`ese et la
n`egation de l’hypoth`ese est le r´esultat esp´er´e, puisqu’on a:
(p⇒q)⇔(¬q⇒ ¬p)
Example Soit n∈Nmontrons que n2est pair alors nest pair:
Preuve nous supposons que nest impaire est montrons que n2est impaire.
on a: nimpaire ⇒n= 2k+ 1 avec k∈N
⇒n2= 4k2+ 4k+ 1 avec k∈N
⇒n2= 2(2k2+ 2k) + 1 avec k∈N
⇒n2impair
d’o`u n2pair ⇒npair
4