Cours de math´ematique pour 1`ere ann´e Bac
Erraji Elmahdi
July 17, 2016
Contents
1 Introduction `a la logique 2
1.1 Logique .............................. 2
1.1.1 Assertion ......................... 2
1.1.2 Op´erateurs ........................ 2
1.2 Assertion a param´etre et quantificateur . . . . . . . . . . . . 3
1.2.1 Assertion a param´etre . . . . . . . . . . . . . . . . . . 3
1.2.2 Quantificateur . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Raisonnement........................... 4
1.3.1 Raisonnement direct . . . . . . . . . . . . . . . . . . . 4
1.3.2 Raisonnement par contrapos´e . . . . . . . . . . . . . . 4
1.3.3 Absurde.......................... 5
1.3.4 Raisonnement par contre exemple . . . . . . . . . . . 5
1.3.5 R´eccurence ........................ 5
2 Ensembles et applications 6
2.1 Ensembles: ............................ 6
2.1.1 D´enisions ........................ 6
2.1.2 Op´erations sur les ensemble . . . . . . . . . . . . . . . 7
2.1.3 R´egles de calcules . . . . . . . . . . . . . . . . . . . . 7
2.1.4 Produit cart´esien . . . . . . . . . . . . . . . . . . . . . 8
2.2 Applications............................ 8
2.2.1 D´enitions ........................ 8
2.2.2 Image direct et Image eciproque: . . . . . . . . . . . 8
2.2.3 Injection, Surjection et Bijection . . . . . . . . . . . . 9
1
Chapter 1
Introduction `a la logique
1.1 Logique
1.1.1 Assertion
D´efinition Une assertion est une phrase soit vraie, soit fausse, pas les deux
en mme temps.
Une assertion est not´e par un des symbole latin p, q, r, ...
Example Les phrase suivante sont des assertions:
p: Il pleut.
q: Je suis plus grand que toi.
r: 2 + 2 = 4
k: Pour tout xRon a x20.
La phrase suivant n’est pas une assertion:
p(x,y): xet ysont des elements de Rtel que: xy
1.1.2 Op´erateurs
D´efinition soit pet qdeux assertions :
1. L’assertion ”pet q” est vraie lorsque pest vraie et qest vraie.
2. L’assertion ”pou q” est vraie si au moins l’une des deux est vraie.
3. L’assertion ”¬p” est vraie lorsque pest fausse (L’op´erateur de n´egation)
4. L’assertion ”pq” est vraie si au moin ¬pest vraie ou bien qest
vraie (L’implication)
5. L’assertion ”pq” est vraie si les deux sont vraie ou bien les deux
sont fausses. (L’´equivalence)
2
Alg´ebre Professeur: Elmahdi Erraji
Tableau de v´erit´e:
p q p et q p ou q p q¬p
1 1 1 1 1 0
1 0 0 1 0 0
0 1 0 1 1 1
0 0 0 0 1 1
Proposition 1.1.1 soit p, q, r trois assertions alors on a:
1. p⇔ ¬(¬p)
2. pet qqet p
3. pou qqou p
4. ¬(pou q)⇔ ¬qet ¬p
5. ¬(pet q)⇔ ¬qou ¬p
6. (pet (qou r)) (pet q)ou (pet r)
7. (pou (qet r)) (pou q)et (pou r)
8. (pq)(¬q⇒ ¬p)
Preuve Exercice: utilisez le tableaux de v´erit´e.
1.2 Assertion a param´etre et quantificateur
1.2.1 Assertion a param´etre
D´efinition une assertion a param´etre est une phrase math´ematique qui
d´epends d’un param´etre appartenant `a un ensemble arbitraire. Elle devient
une assertion lorsqu’on fixe le param´etre.
Example p(x)=”x1” xRest une assertion `a param´etre.
p(5) est une assertion vraie.
1.2.2 Quantificateur
D´efinition soit p(x)xEune assertion `a param´etre.
L’expression xE p(x), est vraie lorsque p(x) est vraie pour toute
xdans E.est le quantificateur universel.
L’expression xE p(x), est vraie lorsqu’il existe xdans Etel que
p(x) est vraie. est le quantificateur existentielle.
3
Alg´ebre Professeur: Elmahdi Erraji
L’expression !xE p(x), est vraie lorsqu’il existe un unique ´el´ement
xde Etel que p(x) est vraie.
Example x[0.1] (x21)” est une assertion vraie.
x]− ∞,0[ (x0)” est une assertion fausse.
La n´egation des quantificateur
La n´egation de ”xE p(x)” est ”xE¬p(x)”.
La n´egation de ”xE p(x)” est ”xE¬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 pqpuis on conclue la
v´erit´e de qon se basant sur p.
si pest vrai et pqest vraie alors qest vraie.
Example soit a, b Qmontrer que a+bQ??
aQet bQa=p
qet b=p0
q0avec p, p0Zet q, q0N
a+b=pq0+qp0
qq0avec p, p0Zet q, q0N
a+bQ
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:
(pq)(¬q⇒ ¬p)
Example Soit nNmontrons que n2est pair alors nest pair:
Preuve nous supposons que nest impaire est montrons que n2est impaire.
on a: nimpaire n= 2k+ 1 avec kN
n2= 4k2+ 4k+ 1 avec kN
n2= 2(2k2+ 2k) + 1 avec kN
n2impair
d’o`u n2pair npair
4
1 / 10 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !