Vous êtes sur la page 1sur 2

Un peu de logique

1 Assertions
Une assertion ou proposition mathematique est une phrase qui est soit vraie soit fausse. Par exemple, lassertion
la fonction carree est croissante sur R est fausse ; mais lassertion pour tout reel x, |x| 0 est vraie.

1.1 Quantificateurs
Notations : : quelque soit, pour tout : il existe (au moins un) ! : il existe un unique
Ces quantificateurs sont des symboles mathematiques, donc a nutiliser que dans le langage mathematique :
ils ne doivent pas sutiliser comme des abreviations dans des phrases en francais.
Par exemple : soit vous ecrivez en toutes lettres pour tout x R, |x| est positif ; soit vous ecrivez en langage
mathematique x R, |x| 0.
Il est possible dutiliser successivement plusieurs quantificateurs, a condition quils concernent des variables
differentes. Dans ce cas, il est important de choisir lordre dans lequel vous introduisez vos variables.
Comparez (1) : x R, n Z, n x et (2) : n Z, x R, n x. Lune est vraie lautre est fausse !
En fait, dans (1), le n est choisi apres le x donc il depend de lelement quelconque x que lon se donne ; en
revanche dans (2), le n est choisi avant le x donc doit etre le meme pour tous les x.
Exercice 1:
Ecrire a laide des quantificateurs les assertions suivantes, et preciser si elles sont vraies ou fausses.
1. Le carre de tout nombre reel est positif ou nul. 2. Certains nombres reels sont plus grands que leurs carres.
3. Tout entier naturel est strictement inferieur a au moins un reel positif.
Exercice 2:
Soit f et g deux fonctions de R dans R. Ecrire a laide des quantificateurs les expressions suivantes :
1. f ne sannule jamais 2. f est inferieure a g 3. f est positive 4. f nest pas positive
5. f nest pas la fonction nulle 6. f est majoree par 5 7. f est majoree 8. f est strictement decroissante

1.2 Operations ou, et, non


Si P et Q sont deux assertions, on peut definir les assertions P et Q P ou Q non P
Lassertion P et Q est vraie quand les deux sont vraies et fausse sinon.
Lassertion P ou Q est vraie des que lune au moins est vraie (les deux peuvent etre vraies : on dit que le ou
est inclusif). Elle est donc fausse si les deux sont fausses.
Lassertion non P est vraie si P est fausse, et fausse si P est vraie.
exemple : si lassertion P est x < 2, lassertion nonP est x 2.
Si lassertion P est tout homme est mortel ; lassertion non P est au moins un homme est immortel.
Exercice 3:
Soit f une fonction de R dans R. Nier de la maniere la plus precise possible les enonces qui suivent :
1. Pour tout x R, f (x) 1 2. Il existe x R+ tel que f (x) 0
3. Pour tout x R, 1 f (x) 1 4. x R, f (x) 1 ou f (x) 1.
Exercice 4:
(a) x R y R, x + y > 0 (b) x R, y R / x + y > 0
(c) x R tel que y R, x + y > 0 (d) x R tel que y R, y 2 > x
1. Les assertions precedentes sont-elles vraies ou fausses ?
2. Donner leur negation.

Conclusion : si P (x) est une assertion dependant de x E :


1. La negation de x E, P (x) est x E, non P (x) et la negation de x E, P (x) est x E, non P (x).
2. La negation de P ou Q est non P et non Q et la negation de P et Q est non P ou non Q.

1.3 Connecteurs logiques


Deux assertions P et Q peuvent etre egalement reliees par ou .
P Q signifie que si P est vraie, alors Q est vraie.
Autrement dit, P Q peut se lire :
pour que Q soit vraie, il suffit que P soit vraie : P est une condition suffisante pour que Q soit vraie.
il est necessaire que Q soit vraie pour que P soit vraie : Q est condition necessaire pour que P soit vraie.

1
Attention, si P nest pas vraie, on ne peut rien en deduire sur Q.

Exemple : soit P le chien court sous la pluie et Q le chien est mouille.


On a P Q, mais limplication dans lautre sens est fausse : P : Q .
Attention : montrer que P Q ne signifie pas que P est vraie. (En effet, le chien nest pas forcement en train
de courir sous la pluie !). Donc bien differencier : P Q et P est vraie donc Q est vraie.
Pour obtenir Q vraie, il faut savoir : P Q et P vraie.

P Q signifie que P Q et Q P
P Q peut se lire P est vraie si et seulement si Q est vraie. Autrement dit :
Pour que P soit vraie, il faut et il suffit que Q soit vraie : P est donc une condition necessaire et suffisante
pour que Q soit vraie.
Pour que Q soit vraie, il faut et il suffit que P soit vraie.
Remarque : P Q a meme signification que non P non Q.
Par exemple : lequivalence f (x) 0 x 1 donne aussi : f (x) < 0 x < 1.
Exercice 5:
, ou .
Completer les pointilles par le connecteur logique
1. x2 = 4 . . . . . . x = 2. 2. x existe . . . . . . x 0.
3. ex = 1 . . . . . . x = 0. 4. |x| 5 . . . . . . 0 x 5.

2 Raisonnement et demonstration
a) Pour montrer quune proposition du type x E, P (x) est fausse, il suffit de trouver un contre-exemple :
autrement dit, on cherche un x E pour lequel non P (x).

b) Pour montrer quune proposition du type x E, P (x) est vraie, il ne suffit plus de regarder des cas
particuliers. On doit prendre un x fixe, quelconque de E, et on verifie que pour ce x, P (x) est vraie.
Redaction : soit x E fixe quelconque. Montrons que P (x) est vraie.

c) Pour montrer quune proposition du type x E, P (x) est vraie, on construit un x particulier (a
laide dun raisonnement danalyse au brouillon) et on montre que ce x convient, cest-a-dire que pour ce x la
proposition P (x) est vraie : cest le raisonnement par analyse et synthese, utile egalement pour des resolutions
dequations (Analyse : on suppose quil existe une solution et on travaille jusqua trouver des candidats. Synthese :
on verifie si les candidats sont solutions).
Si la construction savere trop difficile, il faudra penser au raisonnement par labsurde :
On suppose que x E, non P (x) est vraie et on essaie darriver a une contradiction.

d) Pour montrer quune proposition du type x E, P (x) est fausse, on montre que pour tout x E,
nonP (x) est vraie (a laide du b)) OU raisonnement par labsurde.

e)Pour demontrer une implication : P Q, on suppose que P est vraie et on montre alors que Q est vraie.
Si cette demarche naboutit pas, il faudra eventuellement penser au raisonnement par contraposee : montrer que
non Q non P . (Supposer alors que non Q est vraie, et montrer que non P est vraie).
Illustration : si il pleut, les parapluies sont ouverts ... donc si les parapluies sont fermes, il ne pleut pas !
Ou encore au raisonnement par labsurde : on suppose P vraie et Q fausse, et on arrive a une contradiction.

f) Pour demontrer une equivalence P Q : on peut montrer successivement les deux implications P Q
Q P , OU etre tres rigoureux et nenchaner que des assertions equivalentes.

Cas particulier : pour montrer que n N, P (n) est vraie, on pourra avoir recours au raisonnement par recurrence.

Remarque importante : Une resolution dequation ou dinequation exige un raisonnement par


equivalence afin detre sur davoir des solutions et non seulement des candidats.
En revanche, dans tous les autres cas, notamment lorsquil faut montrer une proposition du type
x E, P (x) est vraie, les implications suffisent : eviter alors decrire par reflexe le symbole car les
equivalences seront non justifiees, et meme souvent fausses.
Pour le comprendre :
Exercice 6:
1. Montrer : x 0, ln(2 + x) 0.
2. Resoudre lequation x + 2 = x au brouillon et et verifier les solutions trouvees. En deduire une redaction
a) par analyse et synthese
b) par equivalence.
2

Vous aimerez peut-être aussi