Video Eco S1 Chap 1

Analyse mathmatiques I
Filire Sciences conomiques et Gestion Semestre 1 Mohamed HACHIMI

UNIVERSIT IBN ZOHR FACULT DES SCIENCES JURIDIQUES ECONOMIQUES ET SOCIALES DAGADIR
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
1 / 55
Chapitre I Logique et ensembles
Mohamed Hachimi
2010/2011
2 / 55
lments de Logique
Assertion
En logique binaire, il ny a que deux situations : ce qui nest pas vrai est faux. Dnition : On appelle assertion A un nonc dont on peut afrmer sil est vrai ou sil est faux sans ambigut. Exemple :
3 < 7 est une assertion vraie ; 2 > 5 est une assertion fausse. 10 000 est un grand nombre nest pas assertion
Mohamed Hachimi
2010/2011
3 / 55
lments de Logique
Assertion
En logique binaire, il ny a que deux situations : ce qui nest pas vrai est faux. Dnition : On appelle assertion A un nonc dont on peut afrmer sil est vrai ou sil est faux sans ambigut. Exemple :
3 < 7 est une assertion vraie ; 2 > 5 est une assertion fausse. 10 000 est un grand nombre nest pas assertion
Mohamed Hachimi
2010/2011
3 / 55
lments de Logique
Proposition
Dnition : Une proposition est un nonc vrai dans certaines situations, faux dans dautres. Pour une situation donne on peut savoir sans ambigut sil est vrai ou faux ; il devient alors une assertion. Exemple :
x 5 est une proposition. Elle est vraie pour les nombres infrieurs 5, fausse pour les autres.
Mohamed Hachimi
2010/2011
4 / 55
lments de Logique
Proposition
Dnition : Une proposition est un nonc vrai dans certaines situations, faux dans dautres. Pour une situation donne on peut savoir sans ambigut sil est vrai ou faux ; il devient alors une assertion. Exemple :
x 5 est une proposition. Elle est vraie pour les nombres infrieurs 5, fausse pour les autres.
Mohamed Hachimi
2010/2011
4 / 55
lments de Logique
Les connecteurs logiques
A partir de deux propositions quelconques A et B de nouvelles propositions peuvent tre construites. Ces propositions composes sont dnies par leurs tables de vrit suivant les valeurs prises par A et par B . On appelle connecteur lopration qui permet une telle construction
Mohamed Hachimi
2010/2011
5 / 55
lments de Logique
Ngation
Dnition : La ngation dune proposition A , note non A est vraie si, et seulement si, A est fausse. Les valeurs de vrit de (non A ) sont indiques dans le tableau suivant, appel table de vrit : A V F non A F V
Mohamed Hachimi
2010/2011
6 / 55
lments de Logique
Exemples
La ngation de la proposition vraie 3 < 7 est la proposition fausse 3 7 . La ngation de la proposition fausse 1+1=3 est la proposition vraie 1+1=3
Mohamed Hachimi
2010/2011
7 / 55
lments de Logique
Disjonction
Dnition : La disjonction de A et B , note A ou B est vraie ssi lune au moins de ces propositions est vraie. A V V F F B V F V F A ou B V V V F
A ou B est fausse ssi A et B sont fausses toutes les deux.
Mohamed Hachimi
2010/2011
8 / 55
lments de Logique
Exemple
La proposition (1 + 2 = 3) ou (1 + 1 = 3) est vraie. La proposition (1 + 2 = 3) ou (21 est divisible par 7) est vraie La proposition (1 + 1 = 3) ou (21 est divisible par 5 ) est fausse.
Mohamed Hachimi
2010/2011
9 / 55
lments de Logique
Conjonction
Dnition : La conjonction de A et B , note A et B est vraie ssi A et B sont vraies simultanment. A V V F F B V F V F A et B V F F F
A et B est fausse ssi lune au moins de A et B est fausse.
Mohamed Hachimi
2010/2011
10 / 55
lments de Logique
Exemple
La proposition (1 + 2 = 3) et (1 + 1 = 3) est fausse. La proposition (1 + 2 = 3) et (21 est divisible par 7) est vraie.
Mohamed Hachimi
2010/2011
11 / 55
lments de Logique
Implication
Dnition : (non A ) ou B est appele implication. On crit : A B . On lit : A implique B . On dit aussi : si A alors B . A V V F F B V F V F non A F F V V A = B V F V V
A = B est fausse ssi A est vraie et si B est fausse.

Mohamed Hachimi Analyse de mathmatiques I 2010/2011 12 / 55
lments de Logique
Exemple
Rabat est la capitale du Maroc = 1 + 1 = 2 est vraie. Paris est la capitale de France = 1 + 1 = 3 est fausse Madrid est une ville de France = 1 + 1 = 3 est vraie.
Mohamed Hachimi
2010/2011
13 / 55
lments de Logique
Transitivit de limplication
Remarque : Pour montrer que limplication A = B est vraie, il suft de dmontrer que, lorsque A est vraie, la proposition B est vraie. Proposition 1 (Transitivit de limplication) : Soient A , B et C trois propositions, on a : (A = B et B = C ) = (A = C ).
Mohamed Hachimi
2010/2011
14 / 55
lments de Logique
Equivalence
Dnition : A et B sont dites quivalentes si : (A B ) et (B A ). On note A B . A V V F F B V F V F A = B V F V V B = A V V F V A B V F F V
A B est vraies ssi dans les deux cas : a) A et B sont toutes deux vraies, b) A et B sont toutes deux fausses.
lments de Logique
Exemple
Rabat et la capitale du Maroc 1 + 1 = 2 est vraie. Casablanca est une ville du Maroc 1 + 1 = 3 est fausse. Paris est une ville du Maroc 1 + 1 = 3 est vraie.
Mohamed Hachimi
2010/2011
16 / 55
lments de Logique
Contrapose
Dnition : La contrapose de limplication A = B est limplication non B = non A . On a : (A = B ) (non B = non A )
Dans certains cas de dmonstration, il est plus commode de montrer que la contrapose dune implication est vraie, plutt que montrer que limplication elle-mme est vraie.
Mohamed Hachimi
2010/2011
17 / 55
lments de Logique
Exemple
Mohamed Hachimi
2010/2011
18 / 55
lments de Logique
Thorme
Soient A et B deux propositions. Dnition : Limplication A = B est aussi appele thorme. A prend le nom dhypothse et B le nom de conclusion pour que A soit vraie, il faut que B le soit. On dit que B est une condition ncessaire de A . pour que B soit vraie, il suft que A le soit. On dit que A est une condition sufsante de B .
Mohamed Hachimi
2010/2011
19 / 55
lments de Logique
Thorme
Mohamed Hachimi
2010/2011
19 / 55
lments de Logique
Thorme
Mohamed Hachimi
2010/2011
19 / 55
lments de Logique
Thorme rciproque
Dnition : Limplication est appele thorme rciproque de A = B . Un thorme peut tre vrai et le thorme rciproque faux. Lorsquun thorme et son thorme rciproque sont vrais simultanment, il y a quivalence (logique) entre hypothse et conclusion du thorme. B = A
Mohamed Hachimi
2010/2011
20 / 55
lments de Logique
Exemple
Soit n N un nombre entier (n N). On a : n N = n N Mais le thorme rciproque est faux, car 2 N mais
2N
Mohamed Hachimi
2010/2011
21 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 1 A ou (non A )
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 2 [non (non A )] A
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 3 (A ou B ) (B ou A )
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 4 (A et B ) (B et A )
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 5 [(A ou B ) ou C ] [A ou (B ou C )]
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 6 [(A et B ) et C ] [A et (B et C )]
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 7 [A ou (B et C )] [(A ou B ) et (A ou C )]
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 8 [A et (B ou C )] [(A et B ) ou (A et C )]
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 9 [non (A et B )] [(non A ) ou (non B )]
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 10 [non (A ou B )] [(non A ) et (non B )]
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 11 [(A = B ) et (B = C )] = [A = C ]
Mohamed Hachimi
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 12 non (A = B ) [A et (non B )]
Mohamed Hachimi
2010/2011
22 / 55
lments de la thorie des ensembles
Ensemble
Dnition : Un ensemble E est une collection dobjets qui, par dnition, sont les lments de E. Si a est un lment de lensemble E on crit : aE et on lit : x est un lment de E ou x appartient E
Mohamed Hachimi
2010/2011
23 / 55
Ensemble
Un ensemble peut tre reprsent par la liste complte de ses lments, par exemple : E = {, , , , , , ou par lcriture dune proprit A : E = { x | A (x) } o A est sufsante pour afrmer quun objet appartient ou nappartient pas lensemble E. }
Mohamed Hachimi
2010/2011
24 / 55
Exemple
Parmi les ensembles usuels citons ds maintenant : lensemble des entiers naturels not N : N = {0, 1, 2, 3, . . . , n, . . .} lensemble des entiers relatifs not Z : Z = {. . . , n, . . . , 3, 2, 1 0, 1, 2, 3, . . . , n, . . .} lensemble des nombres rationnels not Q : Q = {p/q | p Z et q Z, q = 0} lensemble des nombres rels (nombres rationnels et irrationnels) not R.
Ensemble
On reprsente souvent un ensemble par une partie dun plan limit par une courbe ferme
A Ce shma est appel diagramme de Venn (ou dEuler).
Mohamed Hachimi
2010/2011
26 / 55
Sous-ensemble
Dnition : Soient A et B deux ensembles. On dit que B est un sousensemble de A si tout lment de B est un lment de A. On note B A.
Mohamed Hachimi
2010/2011
27 / 55
Egalit
Dnition : Soient A et B deux ensembles. Si B A et A B, on dit que A et B sont gaux. On note B = A. Exemple :
Considrons les deux ensembles : A = {0, 3, 6, 9, 12, 15}, On a bien : A = B. B = {x N | x 17, x = 3k, k N}
Mohamed Hachimi
2010/2011
28 / 55
Runion
Soient A et B deux sous-ensembles dun mme ensemble E. Dnition : On appelle runion de A et B lensemble A B dni par : A B = { x E | x A ou x B } B
AB
Mohamed Hachimi
2010/2011
29 / 55
Intersection
Soient A et B deux sous-ensembles dun mme ensemble E. Dnition : On appelle intersection de A et B lensemble A B dni par : A B = { x E | x A et x B } B
A
Mohamed Hachimi Analyse de mathmatiques I
AB
2010/2011
30 / 55
Complmentaire
Soit A une partie dun ensemble E. Dnition : On appelle complmentaire de A dans E lensemble E A (ou A) dni par : A = { x E | x A } E
A A (dans E)
Mohamed Hachimi
2010/2011
31 / 55
Ensemble vide
Dnition : On appelle ensemble vide et on note lensemble ne contenant aucun lment. Convention : Pour tout ensemble A, on a : A. Proposition : Pour tout ensemble A on a : A = et A = A. Soit E un ensemble et A un sous-ensemble de E. On a : E = E, E E = , A E A = .
Mohamed Hachimi
2010/2011
32 / 55
Ensemble des parties
Soit E un ensemble. Dnition : On appelle ensemble des parties de E lensemble de tous les sous-ensembles de E. On note cet ensemble P (E). On a : A E A P (E)
Mohamed Hachimi
2010/2011
33 / 55
Exemple
Si E = {a, b, c} on a : P (E) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, E} Si E = on a : Si E = {} on a : P (E) = {} P (P ()) = {, {}}
Mohamed Hachimi
2010/2011
34 / 55
Produit cartsien
Dnition : On appelle produit cartsien de deux ensembles E et F , donns dans cet ordre, lensemble de tous les couples ordonns (x, y) o x E et y F . On le note E F et on lit E croix F . E F = { (x, y) | x E, y F } Si E = F , E E se note aussi E2 . Exemple :
Soit E = F = R : E F = R R = R2 .
Mohamed Hachimi
2010/2011
35 / 55
Produit cartsien de n ensembles
Soit E1 , E2 , . . . , En des ensembles. On appelle produit cartsien de E1 , E2 , . . . , En , lensemble : E1 E2 En = (x1 , x2 , . . . , xn ) | x1 E1 , x2 E2 , . . . , xn En

n. Lensemble E1 E1 E1 se note aussi E1
Un lment du type (x1 , x2 , . . . , xn ) sappelle n-uplet.
Mohamed Hachimi
2010/2011
36 / 55
Exemple
Soit n un entier naturel non nul. et E1 = E2 = = En = R : E1 E2 En = R R R = Rn . Ainsi, Rn est lensemble des n-uplet des rels. On a : Rn = { (x1 , x2 , . . . , xn ) | x1 R, x2 R, . . . , xn R } Si n = 2 : Rn = R2 et tout lment de R2 est un couple de rels (x, y), par exemple : (5, 7) R2 et (7, 5) R2 .
Mais attention lordre des lments des couples : (5, 7) = (7, 5).
Mohamed Hachimi
2010/2011
37 / 55
Quanticateurs
Quanticateur existentiel
Soit E un ensemble et x une variable qui appartient E. Soit A (x) une proprit dpendant de llment x. On dnit lassertion : il existe au moins un lment de E telle que A (x) soit vraie. de la faon suivante : x E, A (x)
Mohamed Hachimi
2010/2011
38 / 55
Quanticateurs
Quanticateur universel
Soit E un ensemble et x une variable qui appartient E. Soit A (x) une proprit dpendant de llment x. On dnit lassertion : quel que soit llment x de E, la proprit A (x) est vraie. de la faon suivante : x E, A (x)
Mohamed Hachimi
2010/2011
39 / 55
Quanticateurs
Exemple
Soit lnonc : n N, 2n n + 1. Cet nonc signie : quel que soit n appartenant N, la proprit A (n) vraie ; o A (n) est dnie par : A (n) : 2n n+1
Mohamed Hachimi
2010/2011
40 / 55
Quanticateurs
Rgles de passage la ngation
Soit A une proprit concernant les lments dun ensemble E. Alors : : la ngation de lassertion : x E, A (x) nest pas mais x E, x E,
non A (x) non A (x)
En effet, il suft quil existe un lment de E telle que A () est fausse pour nier lassertion.
Mohamed Hachimi
2010/2011
41 / 55
Quanticateurs
Soit A une proprit concernant les lments dun ensemble E. Alors : : la ngation de lassertion : x E, A (x) nest pas mais x E, x E,
non A (x) non A (x)
Mohamed Hachimi
2010/2011
42 / 55
Quanticateurs
En rsum, pour nier une proposition, il suft dchanger et et de remplacer A (x) par non A (x). Ainsi : non x E, A (x) x E, non A (x) non x E, A (x) x E, non A (x)
Mohamed Hachimi
2010/2011
43 / 55
Quanticateurs
Enchanement des quanticateurs
Soient E, F deux ensembles et A une proprit dnie sur E F . Considrons les deux noncs : x E, y F , A (x, y) x E, y F , A (x, y) (1) (2)
Lassertion (1) signie que pour tout x de E, il existe (au moins) un y de F (dpendant de x) tel que lon a : A (x, y) est vraie. Lassertion (2) signie quil existe (au moins) un x0 de E pour lequel on a : A (x0 , y) est vraie pour tous les y de F .
Mohamed Hachimi
2010/2011
44 / 55
Quanticateurs
La ngation de lassertion (1) est : non x E, y F , A (x, y) x E, y F , nonA (x, y) La ngation de lassertion (2) est : non x E, y F , A (x, y) x E, y F , nonA (x, y)
Mohamed Hachimi
2010/2011
45 / 55
Quanticateurs
Attention
Lorsquon modie lordre des deux quanticateurs et , on modie aussi le sens de lassertion. Par exemple, lassertion : ( x R, n Z, n est vraie. Par contre lassertion : ( n Z, x R, n est fausse x) x)
Mohamed Hachimi
2010/2011
46 / 55
Mthodes de dmonstrations
Dmonstration directe
Soient A et B deux propositions. Pour dmontrer que A = B la mthode de dmonstration directe (ou par dduction) consiste supposer que les hypothses A sont vries pour en dduire dautres rsultats, jusqu laboutissement des conclusions B . A = . . . = . . . . . . = B
Mohamed Hachimi
2010/2011
47 / 55
Exemple
Montrons que :
(x, y) R2 , y = = =
y = 3x
3x + 5
3y + 5
Soit x, y deux lments de R, on a : x 3y 3y + 5 3y + 5
3x + 5 3x + 5
Mohamed Hachimi
2010/2011
48 / 55
Dmonstration indirecte
Cette mthode consiste remplacer la dmonstration directe de A = B par la dmonstration directe de non B = non A
Mohamed Hachimi
2010/2011
49 / 55
Exemple
Montrons que : (x, y) R2 , La contrapose de () est (x, y) R2 , 3x + 5 = 3y + 5 = x = y () x = y = 3x + 5 = 3y + 5 ()
Soit x, y deux lments de R, on a : 3x + 5 = 3y + 5 = 3x = 3y = x = y.
Mohamed Hachimi
2010/2011
50 / 55
Dmonstration par labsurde
Lide dune dmonstration par labsurde utilise lquivalence logique : (A = B ) non A et non B . Cette mthode consiste montrer que la A et non B aboutit une absurdit, du type : A et non B = R et non R o R est une proposition. proposition
Mohamed Hachimi
2010/2011
51 / 55
Exemple
Montrons que :
Supposons que x2 = 2 et x Q alors il exite p et q deux entiers, p premiers entre eux, tels que x = do p2 = 2q2 . Deux cas sont q possibles lgard des parits : p impair. Ceci est absurde car p2 serait impair et gal 2q2 . p pair et q impair. Alors, p N, tel que p = 2p do p2 = 4(p )2 = 2q2 soit q2 = 2(p )2 ,
x R,
x2 = 2 = x Q
ce qui est impossible puisque q est impair.
Mohamed Hachimi
2010/2011
52 / 55
Dmonstration par rcurrence
Thorme : Soit P une proprit dnie sur lensemble N telle que la proposition suivante soit vraie : P (0) et ( n N, P (n) = P (n + 1)). P (n).
Alors on a : n N,
Mohamed Hachimi
2010/2011
53 / 55
Dmonstration par rcurrence
Autrement dit, pour dmontrer par rcurrence quune proposition P (n) est vraie pour tout n, on procde en deux tapes : Premire tape : on vrie que P (0) est vraie. Deuxime tape : on suppose que pour n N quelconque P (n) est vraie, et puis on montre que P (n + 1) est vraie.
Mohamed Hachimi
2010/2011
54 / 55
Exemple
On note P (n) la proposition : 2n P (0) est 20 0 + 1, soit 1
n + 1 .
1 , donc P (0) est vraie. n + 1) vraie, alors : n + 2 (car n (n + 1) + 1.
on suppose que P (n) est vraie, c--d (2n 2n+1 = 2 22 Ainsi : 2n+1 2 (n + 1) 2n + 2
(n + 1) + 1, c--d : P (n + 1) est vraie.
Donc, P (n) est vraie pour tout n N.
Mohamed Hachimi
2010/2011
55 / 55

Video Eco S1 Chap 1

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Video Eco S1 Chap 1

Transféré par

Droits d'auteur :

Formats disponibles

Analyse mathmatiques I

Filire Sciences conomiques et Gestion Semestre 1 Mohamed HACHIMI

Chapitre I Logique et ensembles

Les connecteurs logiques

A ou B est fausse ssi A et B sont fausses toutes les deux.

A et B est fausse ssi lune au moins de A et B est fausse.

A = B est fausse ssi A est vraie et si B est fausse.

Dnition : La contrapose de limplication A = B est limplication non B = non A . On a : (A = B ) (non B = non A )

lments de la thorie des ensembles

lments de la thorie des ensembles

lments de la thorie des ensembles

lments de la thorie des ensembles

A Ce shma est appel diagramme de Venn (ou dEuler).

lments de la thorie des ensembles

lments de la thorie des ensembles

lments de la thorie des ensembles

lments de la thorie des ensembles

lments de la thorie des ensembles

lments de la thorie des ensembles

lments de la thorie des ensembles

Ensemble des parties

lments de la thorie des ensembles

lments de la thorie des ensembles

lments de la thorie des ensembles

Produit cartsien de n ensembles

Soit E1 , E2 , . . . , En des ensembles. On appelle produit cartsien de E1 , E2 , . . . , En , lensemble : E1 E2 En = (x1 , x2 , . . . , xn ) | x1 E1 , x2 E2 , . . . , xn En

Un lment du type (x1 , x2 , . . . , xn ) sappelle n-uplet.

lments de la thorie des ensembles

Rgles de passage la ngation

non A (x) non A (x)

Rgles de passage la ngation

non A (x) non A (x)

Rgles de passage la ngation

Enchanement des quanticateurs

Rgles de passage la ngation

Soit x, y deux lments de R, on a : x 3y 3y + 5 3y + 5

Soit x, y deux lments de R, on a : 3x + 5 = 3y + 5 = 3x = 3y = x = y.

Dmonstration par labsurde

ce qui est impossible puisque q est impair.

Dmonstration par rcurrence

Dmonstration par rcurrence

On note P (n) la proposition : 2n P (0) est 20 0 + 1, soit 1

1 , donc P (0) est vraie. n + 1) vraie, alors : n + 2 (car n (n + 1) + 1.

(n + 1) + 1, c--d : P (n + 1) est vraie.

Donc, P (n) est vraie pour tout n N.

Vous aimerez peut-être aussi