Вы находитесь на странице: 1из 8

Exo7

Logique et raisonnements

1 Logique 1.1 Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Quanticateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3 Mini-exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Raisonnements 2.1 Raisonnement direct 2.2 Cas par cas . . . . . 2.3 Contrapose . . . . . 2.4 Absurde . . . . . . . 2.5 Contre-exemple . . . 2.6 Rcurrence . . . . . 2.7 Mini-exercices . . . .

2 2 4 6 6 6 6 7 7 7 7 8

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

Vido partie 1. Logique Vido partie 2. Raisonnements Fiche d'exercices Logique, ensembles, raisonnements

Quelques motivations
Il est important davoir un langage rigoureux. La langue franaise est souvent ambige. Prenons lexemple de la conjonction ou ; au restaurant fromage ou dessert signie lun ou lautre mais pas les deux. Par contre si dans un jeu de carte on cherche les as ou les curs alors il ne faut pas exclure las de cur. Autre exemple : que rpondre la question As-tu 10 euros en poche ? si lon dispose de 15 euros ? Il y a des notions difciles expliquer avec des mots : par exemple la continuit dune fonction est souvent explique par on trace le graphe sans lever le crayon . Il est clair que cest une dnition peu satisfaisante. Voici la dnition mathmatique de la continuit dune fonction f : I R en un point x0 I : > 0 > 0 x I (| x x0 | < = | f ( x) f ( x0 )| < ). Cest le but de ce chapitre de rendre cette ligne plus claire ! Cest la logique. Enn les mathmatiques tentent de distinguer le vrai du faux. Par exemple Est-ce quune augmentation de 20%, puis de 30% est plus intressante quune augmentation de 50% ? . Vous pouvez penser oui ou non , mais pour en tre sr il faut suivre une dmarche logique qui mne la conclusion. Cette dmarche doit tre convaincante pour vous mais aussi pour les autres. On parle de raisonnement. Les mathmatiques sont un langage pour sexprimer rigoureusement, adapt aux phnomnes complexes, qui rend les calculs exacts et vriables. Le raisonnement est le moyen de valider ou dinrmer une hypothse et de lexpliquer autrui.

1
1.1

Logique
Assertions

Une assertion est une phrase soit vraie, soit fausse, pas les deux en mme temps. Exemples : Il pleut. Je suis plus grand que toi. 2+2 = 4 23 = 7 Pour tout x R, on a x2 0. Pour tout z C, on a | z| = 1. Si P est une assertion et Q est une autre assertion, nous allons dnir de nouvelles assertions construites partir de P et de Q . Loprateur logique et Lassertion P et Q est vraie si P est vraie et Q est vraie. Lassertion P et Q est fausse sinon. On rsume ceci en une table de vrit : P \Q V F V V F F F F

F IGURE 1 Table de vrit de P et Q Par exemple si P est lassertion Cette carte est un as et Q lassertion Cette carte est cur alors lassertion P et Q est vraie si la carte est las de cur et est fausse pour toute autre carte. Loprateur logique ou Lassertion P ou Q est vraie si lune des deux assertions P ou Q est vraie. Lassertion P ou Q est fausse si les deux assertions P et Q sont fausses. On reprend ceci dans la table de vrit : P \Q V F V V V F V F

F IGURE 2 Table de vrit de P ou Q Si P est lassertion Cette carte est un as et Q lassertion Cette carte est cur alors lassertion P ou Q est vraie si la carte est un as ou bien un cur (en particulier elle est vraie pour las de cur). Remarque. Pour dnir les oprateurs ou , et on fait appel une phrase en franais utilisant les mots ou, et ! Les tables de vrits permettent dviter ce problme. La ngation non Lassertion non P est vraie si P est fausse, et fausse si P est vraie. P non P V F F V

F IGURE 3 Table de vrit de non P

Limplication = La dnition mathmatique est la suivante : Lassertion (non P) ou Q est note P = Q . Sa table de vrit est donc la suivante : P \Q V F V V V F F V

F IGURE 4 Table de vrit de P = Q Lassertion P = Q se lit en franais P implique Q . Elle se lit souvent aussi si P est vraie alors Q est vraie ou si P alors Q . Par exemple : 0 x 25 = x 5 est vraie (prendre la racine carre). x ] , 4[ = x2 + 3 x 4 > 0 est vraie (tudier le binme). sin( ) = 0 = = 0 est fausse (regarder pour = 2 par exemple). 2 + 2 = 5 = 2 = 2 est vraie ! Eh oui, si P est fausse alors lassertion P = Q est toujours vraie. Lquivalence Lquivalence est dnie par : P Q est lassertion (P = Q) et (Q = P) . On dira P est quivalent Q ou P quivaut Q ou P si et seulement si Q . Cette assertion est vraie lorsque P et Q sont vraies ou lorsque P et Q sont fausses. La table de vrit est : P \Q V F V V F F F V

F IGURE 5 Table de vrit de P Q Exemples : Pour x, x R, lquivalence x x = 0 ( x = 0 ou x = 0) est vraie. Voici une quivalence toujours fausse (quelque soit lassertion P ) : P non(P ) . On sintresse davantage aux assertions vraies quaux fausses, aussi dans la pratique et en dehors de ce chapitre on crira P Q ou P = Q uniquement lorsque ce sont des assertions vraies. Par exemple si lon crit P Q cela sous-entend P Q est vraie . Attention rien ne dit que P et Q soient vraies. Cela signie que P et Q sont vraies en mme temps ou fausses en mme temps. Proposition 1. Soient P , Q , R trois assertions. Nous avons les quivalences (vraies) suivantes : 1. P non(non(P )) 2. (P et Q ) (Q et P ) 3. (P ou Q ) (Q ou P ) 4. non(P et Q ) (non P ) ou (non Q ) 5. non(P ou Q ) (non P ) et (non Q ) 6. P et (Q ou R ) (P et Q ) ou (P et R ) 7. P ou (Q et R ) (P ou Q ) et (P ou R ) 3

8. P = Q non(Q ) = non(P ) Dmonstration. Voici des exemples de dmonstrations : 4. Il suft de comparer les deux assertions non(P et Q ) et (non P ) ou (non Q ) pour toutes les valeurs possibles de P et Q . Par exemple si P est vrai et Q est vrai alors P et Q est vrai donc non(P et Q ) est faux ; dautre part (non P ) est faux, (non Q ) est faux donc (non P ) ou (non Q ) est faux. Ainsi dans ce premier cas les assertions sont toutes les deux fausses. On dresse ainsi les deux tables de vrits et comme elles sont gales les deux assertions sont quivalentes. P \Q V F V F V F V V

F IGURE 6 Tables de vrit de non(P et Q ) et de (non P ) ou (non Q ) 6. On fait la mme chose mais il y a trois variables : P , Q , R . On compare donc les tables de vrit dabord dans le cas o P est vrai ( gauche), puis dans le cas o P est faux ( droite). Dans les deux cas les deux assertions P et (Q ou R ) et (P et Q ) ou (P et R ) ont la mme table de vrit donc les assertions sont quivalentes. Q\R V F V V V F V F Q\R V F V F F F F F

8. Par dnition, limplication P = Q est lassertion (non P) ou Q . Donc limplication non(Q ) = non(P ) est quivalente non(non(Q )) ou non(P ) qui quivaut encore Q ou non(P ) et donc est quivalente P = Q . On aurait aussi pu encore une fois dresser les deux tables de vrit et voir quelles sont gales.

1.2

Quanticateurs

Le quanticateur : pour tout Une assertion P peut dpendre dun paramtre x, par exemple x2 fausse selon la valeur de x. Lassertion x E P ( x) 1 , lassertion P ( x) est vraie ou

est une assertion vraie lorsque les assertions P ( x) sont vraies pour tous les lments x de lensemble E . On lit Pour tout x appartenant E, P ( x) , sous-entendu Pour tout x appartenant E, P ( x) est vraie . Par exemple : x [1, +[ ( x2 1) est une assertion vraie. x R ( x2 1) est une assertion fausse. n N n( n + 1) est divisible par 2 est vraie. Le quanticateur : il existe Lassertion
x E

P ( x)

est une assertion vraie lorsque lon peut trouver au moins un x de E pour lequel P ( x) est vraie. On lit il existe x appartenant E tel que P ( x) (soit vraie) . Par exemple : 1 x R ( x( x 1) < 0) est vraie (par exemple x = 2 vrie bien la proprit). n N n2 n > n est vraie (il y a plein de choix, par exemple n = 3 convient, mais aussi n = 10 ou mme n = 100, un seul suft pour dire que lassertion est vraie). x R ( x2 = 1) est fausse (aucun rel au carr ne donnera un nombre ngatif). 4

La ngation des quanticateurs La ngation de x E P ( x) est x E non P ( x) . ( x2 < 1) . En effet la

Par exemple la ngation de x [1, +[ ( x2 1) est lassertion x [1, +[ ngation de x2 1 est non( x2 1) mais scrit plus simplement x2 < 1. La ngation de x E P ( x) est x E non P ( x) .

Voici des exemples : La ngation de z C ( z2 + z + 1 = 0) est z C ( z2 + z + 1 = 0) . La ngation de x R ( x + 1 Z) est x R ( x + 1 Z) . Ce nest pas plus difcile dcrire la ngation de phrases complexes. Pour lassertion :
x R y > 0

( x + y > 10)

sa ngation est
x R y > 0

(x + y

10).

Remarques Lordre des quanticateurs est trs important. Par exemple les deux phrases logiques
x R y R

( x + y > 0)

et

y R

x R

( x + y > 0).

sont diffrentes. La premire est vraie, la seconde est fausse. En effet une phrase logique se lit de gauche droite, ainsi la premire phrase afrme Pour tout rel x, il existe un rel y (qui peut donc dpendre de x) tel que x + y > 0. (par exemple on peut prendre y = x + 1). Cest donc une phrase vraie. Par contre la deuxime se lit : Il existe un rel y, tel que pour tout rel x, x + y > 0. Cette phrase est fausse, cela ne peut pas tre le mme y qui convient pour tous les x ! On retrouve la mme diffrence dans les phrases en franais suivantes. Voici une phrase vraie Pour toute personne, il existe un numro de tlphone , bien sr le numro dpend de la personne. Par contre cette phrase est fausse : Il existe un numro, pour toutes les personnes . Ce serait le mme numro pour tout le monde ! Terminons avec dautres remarques. Quand on crit x R ( f ( x) = 0) cela signie juste quil existe un rel pour lequel f sannule. Rien ne dit que ce x est unique. Dans un premier temps vous pouvez lire la phrase ainsi : il existe au moins un rel x tel que f ( x) = 0 . An de prciser que f sannule en une unique valeur, on rajoute un point dexclamation : ! x R ( f ( x) = 0). Pour la ngation dune phrase logique, il nest pas ncessaire de savoir si la phrase est fausse ou vraie. Le procd est algorithmique : on change le pour tout en il existe et inversement, puis on prend la ngation de lassertion P . Pour la ngation dune proposition, il faut tre prcis : la ngation de lingalit stricte < est lingalit large , et inversement. Les quanticateurs ne sont pas des abrviations. Soit vous crivez une phrase en franais : Pour tout rel x, si f ( x) = 1 alors x 0. , soit vous crivez la phrase logique :
x R

( f ( x) = 1 = x

0).

Mais surtout ncrivez pas x rel, si f ( x) = 1 = x positif ou nul . Enn, pour passer dune ligne lautre dun raisonnement, prfrez plutt donc = . Il est dfendu dcrire , = . Ces symboles nexistent pas ! 5

1.3

Mini-exercices

1. crire la table de vrit du ou exclusif . (Cest le ou dans la phrase fromage ou dessert , lun ou lautre mais pas les deux.) 2. crire la table de vrit de non (P et Q) . Que remarquez vous ? 3. crire la ngation de P = Q . 4. Dmontrer les assertions restantes de la proposition 1. 5. crire la ngation de P et (Q ou R ) . 6. crire laide des quanticateurs la phrase suivante : Pour tout nombre rel, son carr est positif . Puis crire la ngation. 7. Mmes questions avec les phrases : Pour chaque rel, je peux trouver un entier relatif tel que leur produit soit strictement plus grand que 1 . Puis Pour tout entier n, il existe un unique rel x tel que exp( x) gale n .

Raisonnements

Voici des mthodes classiques de raisonnements.

2.1

Raisonnement direct

On veut montrer que lassertion P = Q est vraie. On suppose que P est vraie et on montre qualors Q est vraie. Cest la mthode laquelle vous tes le plus habitu. Exemple 1. Montrer que si a, b Q alors a + b Q. Dmonstration. Prenons a Q, b Q. Rappelons que les rationnels Q sont lensemble des rels scrivant p q avec p Z et q N . Alors a =
p q

pour un certain p Z et un certain q N . De mme b = a+b = p p pq + q p + = . q q qq

p q

avec p Z et q N . Maintenant

Or le numrateur pq + q p est bien un lment de Z ; le dnominateur qq est lui un lment de N . p Donc a + b scrit bien de la forme a + b = q avec p Z, q N . Ainsi a + b Q.

2.2

Cas par cas

Si lon souhaite vrier une assertion P ( x) pour tous les x dans un ensemble E , on montre lassertion pour les x dans une partie A de E , puis pour les x nappartenant pas A . Cest la mthode de disjonction ou du cas par cas. Exemple 2. Montrer que pour tout x R, | x 1| x2 x + 1.

Dmonstration. Soit x R. Nous distinguons deux cas. Premier cas : x 1. Alors | x 1| = x 1. Calculons alors x2 x + 1 | x 1|. x2 x + 1 | x 1| = x2 x + 1 ( x 1)
= x2 2 x + 2 = ( x 1)2 + 1

0.

Ainsi x2 x + 1 | x 1| 0 et donc x2 x + 1 | x 1|. Deuxime cas : x < 1. Alors | x 1| = ( x 1). Nous obtenons x2 x + 1 | x 1| = x2 x + 1 + ( x 1) = x2 Et donc x2 x + 1 | x 1|. Conclusion. Dans tous les cas | x 1| x2 x + 1. 6

0.

2.3

Contrapose

Le raisonnement par contraposition est bas sur lquivalence suivante (voir la proposition 1) : Lassertion P = Q est quivalente non(Q ) = non(P ) . Donc si lon souhaite montrer lassertion P = Q , on montre en fait que si non(Q ) est vraie alors non(P ) est vraie. Exemple 3. Soit n N. Montrer que si n2 est pair alors n est pair. Dmonstration. Nous supposons que n nest pas pair. Nous voulons montrer qualors n2 nest pas pair. Comme n nest pas pair, il est impair et donc il existe k N tel que n = 2 k + 1. Alors n2 = (2 k + 1)2 = 4 k2 + 4 k + 1 = 2 + 1 avec = 2 k2 + 2 k N. Et donc n2 est impair. Conclusion : nous avons montr que si n est impair alors n2 est impair. Par contraposition ceci est quivalent : si n2 est pair alors n est pair.

2.4

Absurde

Le raisonnement par labsurde pour montrer P = Q repose sur le principe suivant : on suppose la fois que P est vraie et que Q est fausse et on cherche une contradiction. Ainsi si P est vraie alors Q doit tre vraie et donc P = Q est vraie. Exemple 4. Soient a, b 0. Montrer que si
a 1+ b

b 1+a

alors a = b.

a b a b Dmonstration. Nous raisonnons par labsurde en supposant que 1+ b = 1+a et a = b. Comme 1+ b = 1+a alors a(1 + a) = b(1 + b) donc a + a2 = b + b2 do a2 b2 = b a. Cela conduit (a b)(a + b) = (a b). Comme a = b alors a b = 0 et donc en divisant par a b on obtient a + b = 1. La somme de deux nombres positifs ne peut tre ngative. Nous obtenons une contradiction. b a Conclusion : si 1+ b = 1+a alors a = b.

Dans la pratique, on peut choisir indiffremment entre un raisonnement par contraposition ou par labsurde. Attention cependant de bien crire quel type de raisonnement vous choisissez et surtout de ne pas changer en cours de rdaction !

2.5

Contre-exemple

Si lon veut montrer quune assertion du type x E P ( x) est vraie alors pour chaque x de E il faut montrer que P ( x) est vraie. Par contre pour montrer que cette assertion est fausse alors il suft de trouver x E tel que P ( x) soit fausse. (Rappelez-vous la ngation de x E P ( x) est x E non P ( x) ). Trouver un tel x cest trouver un contre-exemple lassertion x E P ( x) . Exemple 5. Montrer que lassertion suivante est fausse Tout entier positif est somme de trois carrs . (Les carrs sont les 02 , 12 , 22 , 32 ,... Par exemple 6 = 22 + 12 + 12 .) Dmonstration. Un contre-exemple est 7 : les carrs infrieurs 7 sont 0, 1, 4 mais avec trois de ces nombres on ne peut faire 7.

2.6

Rcurrence

Le principe de rcurrence permet de montrer quune assertion P ( n), dpendant de n, est vraie pour tout n N. La dmonstration par rcurrence se droule en trois tapes : lors de linitialisation on prouve P (0). Pour ltape dhrdit, on suppose n 0 donn avec P ( n) vraie, et on dmontre alors que lassertion P ( n + 1) au rang suivant est vraie. Enn dans la conclusion, on rappelle que par le principe de rcurrence P ( n) est vraie pour tout n N. Exemple 6. Montrer que pour tout n N, 2n > n.

Dmonstration. Pour n

0, notons P ( n) lassertion suivante : 2 n > n.

Nous allons dmontrer par rcurrence que P ( n) est vraie pour tout n 0. Initialisation. Pour n = 0 nous avons 20 = 1 > 0. Donc P (0) est vraie. Hrdit. Fixons n 0. Supposons que P ( n) soit vraie. Nous allons montrer que P ( n + 1) est vraie. 2n+1 = 2n + 2n
> n + 2n > n+1

car par P ( n) nous savons 2n > n, car 2n 1.

Donc P ( n + 1) est vraie. Conclusion. Par le principe de rcurrence P ( n) est vraie pour tout n n 0.

0, cest--dire 2n > n pour tout

Remarques : La rdaction dune rcurrence est assez rigide. Respectez scrupuleusement la rdaction propose : donnez un nom lassertion que vous souhaitez montrer (ici P ( n)), respectez les trois tapes (mme si souvent ltape dinitialisation est trs facile). En particulier mditez et conservez la premire ligne de lhrdit Fixons n 0. Supposons que P ( n) soit vraie. Nous allons montrer que P ( n + 1) est vraie. Si on doit dmontrer quune proprit est vraie pour tout n n 0 , alors on commence linitialisation au rang n 0 . Le principe de rcurrence est bas sur la construction de N. En effet un des axiomes pour dnir N est le suivant : Soit A une partie de N qui contient 0 et telle que si n A alors n + 1 A. Alors A = N .

2.7

Mini-exercices
b alors a
a+ b 2

1. (Raisonnement direct) Soient a, b R+ . Montrer que si a

b et a

ab

b.

2. (Cas par cas) Montrer que pour tout n N, n( n + 1) est divisible par 2 (distinguer les n pairs des n impairs). 3. (Contrapose ou absurde) Soient a, b Z. Montrer que si b = 0 alors a + b 2 Q. (On utilisera que 2 Q.) 4. (Absurde) Soit n N . Montrer que n2 + 1 nest pas un entier. 1, 1 + 2 + + n =
n( n+1) 2 .

5. (Contre-exemple) Est-ce que pour tout x R on a x < 2 = x2 < 4 ? 6. (Rcurrence) Montrer que pour tout n 7. (Rcurrence) Fixons un rel x 0. Montrer que pour tout entier n 1, (1 + x)n 1 + nx.

Auteurs
Arnaud Bodin Benjamin Boutin Pascal Romon

Вам также может понравиться