Vous êtes sur la page 1sur 8

COURS MPSI

5. NOTIONS DE BASE : LOGIQUE R. FERROL 09/10

I) LOGIQUE
1) noncs.
Un nonc est une phrase ayant un sens mathmatique prcis, auquel on peut attribuer une valeur de vrit, soit vrai,
soit faux ; exemple : est un entier (valeur de vrit = faux).
Un nonc peut dpendre de certaines variables, par exemple :
P (x, y) : xy = 1
et sa valeur de vrit dpend alors des valeurs donnes au variables (dans lexemple, P (2, 1/2) est vrai et P (2, 2) est faux)
2) Quantificateurs.
Il y en a deux :
- le quantificateur universel, not (= A lenvers, A tant linitiale de lallemand Alle)
x E P (x) se lit : pour tout x appartenant E, P (x) , ou quel que soit x appartenant E, P (x)

- le quantificateur existentiel, not (= E retourn, E tant linitiale de lallemand Existieren)

x E / P (x) se lit : il existe (au moins) un x appartenant E tel que P (x) ,


ou pour au moins un x appartenant E, P (x)
Une variable est dite lie si elle est quantifie, libre sinon ; un nonc nayant pas de variable libre est dit ferm.
TRS IMPORTANT : une variable qui a t quantifie devient muette : son criture peut tre remplace par nimporte
quel symbole (sauf ceux figurant ailleurs dans lnonc).
Exemples E1
nom
P (......)

nonc en langage formalis


y = x2

Q (....)

x R / x2 = y

y R+ Q (..)

S (....)

x R / fk (x) = 0

k {1, 2, 3} S (....)

ferm ?

variables libres

phrase en franais ne contenant que les variables libres




.
 .
.
 .
.
 .
.
.

Ecrire en langage formalis :


- lquation cos x = 0 possde des solutions :
- lentier n est un multiple de 3 :
- lentier n est un carr :
- les courbes des fonctions f et g ont un point en commun :
3) Ngation.
DEF par table de vrit :
P
V
F

non P (ou P )

5. NOTIONS DE BASE : LOGIQUE R. FERROL 09/10

COURS MPSI

Ngation des quantificateurs :


nonc
x E P (x)
x E / P (x)

ngation de lnonc

Exemple :
nonc
en franais
en langage formalis

non P
.............................................................................

P
tout rel possde un inverse

4) Interversion des quantificateurs.


TRS IMPORTANT : LE SEUL CAS o deux quantifications peuvent tre changes est lorsquelles sont DE MME
TYPE ET SUCCESSIVES.
MAIS ON NE PEUT PAS INTERVERTIR et
Exemples :
nonc
en franais
en langage formalis
valeur de vrit

P
..............................................................
x R y R / xy = 1

Q
......................................................................
y R / x R xy = 1

Autre exemple : on notera H lensemble des homothties du plan P


nonc
en franais
en langage formalis
valeur de vrit

P
Toute homothtie du plan possde un point invariant

Q
......................................................................

Rgle : si y / x est vrai alors x y est vrai aussi, mais la rciproque est fausse.
5) Connecteurs logiques.
a) Connecteurs et () et ou () : conjonction et disjonction.
DEF :

P
V
V
F
F

Q
V
F
V
F

P et Q

P ou Q (ou inclusif)

soit P soit Q (ou exclusif)

PROP 1 (ngation du ou et du et) :


non (P ou Q) a mme valeur de vrit que ..............................................
non (P et Q) a mme valeur de vrit que ...............................................
D1
PROP 2 : le ou et le et sont distributifs lun par rapport lautre, cest--dire :
P ou (Q et R) a mme valeur de vrit que ..............................................
D2
2

COURS MPSI

5. NOTIONS DE BASE : LOGIQUE R. FERROL 09/10

b) Connecteur si...alors.... (=) : implication.


) Dfinition.
DEF :
P

V
V
F
F

V
F
V
F

si P alors Q
P Q

Vocabulaire : dans si P alors Q, P est lhypothse, et Q la conclusion.


La phrase : "si tu es le pape, alors je suis la reine dAngleterre est donc vraie" (sauf si tu es vraiment le pape).
Exemple E2 : hachurer la partie du plan : {M(x, y) / x  0 x  y} .
PROP (trs important) : si P alors Q a mme valeur de vrit que (nonP ) ou Q .
D3
) Diverses formulation en franais de limplication.
Exercice prparatoire :
- Indiquer si cest vrai ou si cest faux :
1) Pour quun quadrilatre soit un paralllogramme, il faut quil ait 3 angles droits.
2) Pour quun quadrilatre soit un paralllogramme, il suffit quil ait 3 angles droits.
3) Une condition ncessaire pour quun quadrilatre soit un carr est que ses diagonales soient perpendiculaires.
4) Une condition suffisante pour quun quadrilatre soit un carr est que ses diagonales soient perpendiculaires.
- Complter :
1) Pour quun quadrilatre soit un carr, il ....... que ses diagonales soient de mme longueur.

quadrilatre

quadrilatre
2) Pour quun
soit un
paralllogramme

paralllogramme

En rsum :

...................

...................
, il faut et il suffit que
...................

...................

il ait trois angles droits


ses diagonales se coupent en leur milieu
ses diagonales soient perpendiculaires
ses diagonales soient gales

- pour que A il faut que B (ou une condition ncessaire pour que A est que B) signifie .......= ......
- pour que A il suffit que B (ou une condition suffisante pour que A est que B) signifie .....= ......
) Rciproque dune implication.
DEF : on obtient la rciproque dune implication en changeant lhypothse et la conclusion :
la rciproque de P Q est, par dfinition, Q P
REM : une implication et sa rciproque peuvent trs bien avoir des valeurs de vrit diffrentes.
E3
) Ngation dune implication.
3

COURS MPSI

5. NOTIONS DE BASE : LOGIQUE R. FERROL 09/10

PROP : la ngation de P Q est .........


D4
Retenir que LA NGATION DUNE IMPLICATION NEST PAS UNE IMPLICATION, mais une conjonction.
Pour bien retenir cela, ne pas oublier que limplication est un ou, donc sa ngation est un et.
E4
) Contrapose dune implication.
DEF : la contrapose de P Q est nonQ nonP .
PROP : la contrapose dune implication a mme valeur de vrit que limplication de dpart.
D5
E5
c) Connecteur si et seulement si () : quivalence.
DEF : lquivalence est la conjonction de limplication et de sa rciproque ;
P Q prend par dfinition les mmes valeurs de vrit que (P Q) et (Q P )
PROP : P Q est vrai quand P et Q ont la mme valeur de vrit, fausse sinon.
D6


P implique Q
P Q
REM 1 : quand on dit que
cela signifie que
P et Q sont quivalentes
P Q

est vrai.

REM 3 : P Q se lit P si et seulement si Q, ou Q est une CNS (condition ncessaire et suffisante) pour que Q.
REM anecdotique : la ngation de lquivalence est la disjonction exclusive.
D7
PROP : limplication est transitive, ce qui signifie que si P Q et Q R sont vraies, alors P R est vraie.
APPLICATION au thorme tournant
Pour dmontrer que n nonc P1 , P2 , ..., Pn sont quivalents, il suffit de dmontrer les n implications :
P1 P2 ... Pn P1
6) Lunicit.
DEF : on dit quun lment ayant une proprit P dans un ensemble E est unique si deux lments de E ayant la proprit
P sont forcment gaux, autrement dit si :
x1 , x2 E (P (x1 ) et P (x2 )) x1 = x2
Remarquons que lunicit nimplique
ayant la proprit P, soit il ny en a pas.

pas lexistence :

quand il y a unicit, soit il y a un unique lment

Par exemple, il y a unicit de llment neutre pour une opration, mais il peut trs bien ne pas y en avoir.
Le fait quil y ait conjointement existence et unicit de llment x ayant la proprit P se symbolise comme suit :
!x E / P (x)
4

5. NOTIONS DE BASE : LOGIQUE R. FERROL 09/10

COURS MPSI
Autre exemple E6.
7) galits et ingalits.

- La double galit : a = b = c signifie : a = b et b = c ; sa ngation est donc :..................................


ET NON a = b = c qui na aucun sens.
- De mme la double ingalit : a  b  c signifie : .......................... ; sa ngation est donc :..................................
ET NON a > b > c
Remplir le tableau, les nombres x1 , x2 , ..., xn tant des nombres rels :
En franais
1. les xi sont tous nuls
2. lun des xi est nul
3. les xi sont non tous nuls
4. les xi sont tous non nuls

En langage formalis............................................................................................................

En franais
1. les xi sont gaux
2. 2 au moins parmis les xi sont gaux
3. 2 au moins parmis les xi sont distincts
4. les xi sont tous distincts

En langage formalis.......................................................................................

Et qui est la ngation de qui ?


8) Divers types de raisonnement.
a) Raisonnement direct.
Il utilise la rgle du modus ponens, ou syllogisme :
Si H est vrai et (H C) est vrai, alors C est vrai
popularis par :
Tout homme est mortel, or Socrate est un homme, donc Socrate est mortel.
Un sophisme est un raisonnement faux ayant une apparence de vrit ; exemple classique :
Tous les chats sont mortels, or Socrate est mortel, donc Socrate est un chat.
Un paradoxe est, lui, un raisonnement, ou un fait exact, qui parait faux de prime abord.
b) Raisonnement par contrapose.
Il utilise la rgle du modus tollens :
Si H est vrai et (non C non H) est vrai, alors C est vrai
Exemple E7 : dmontrer qutant donn un entier n, si n2 est pair, alors n est pair.
REM : on en dduit quun carr pair est toujours multiple de 4.
c) Raisonnement par labsurde (ou ab absurdo).
Le principe est
Si H est vrai et ( (H et non C) F ) est vrai, alors C est vrai
5

COURS MPSI

5. NOTIONS DE BASE : LOGIQUE R. FERROL 09/10

o F est une contradiction, cest--dire un nonc faux.


Exemples :
-

E8 : la somme dun
rationnel et dun irrationnel est un irrationnel.
E9 : le nombre 2 est irrationnel.
E10 : tout entier  2 est divisible par au moins un nombre premier.
E11 : il existe une infinit de nombres premiers (dmonstration dEuclide).

REM : le raisonnement E11 peut tre rendu direct en utilisant la suite dite dEuclide-Mullin dfinie de la faon suivante :
p1 = 2
n N pn+1 est le plus petit diviseur premier de p1 p2 ...pn + 1
et en dmontrant que les nombres pn sont tous distincts.
p1

p2

p3

p4

p5

REM dans la REM : on ne sait pas si les pn recouvrent tous les nombres premiers possibles, bien quon le pense.
d) Raisonnement par disjonction des cas (ou par exhaustion).
Principe : sachant que H quivaut H1 ou H2 ou ....Hn ,

H1 C

H2 C
Si H est vrai et
...

Hn C

est vrai, alors C est vrai

x
x
, puis lim
suivant les valeurs de et .

>
x+ 1 + x
x0 1 + x

Exemple E12 : dterminer lim

Exemple E13 : rsoudre et discuter suivant les valeurs du paramtres m le systme :



mx + y = 1
x + my = m2
e) Raisonnement par analyse et synthse.
Il sagit de dmontrer un nonc du type :
Le raisonnement se fait en 2 temps :

!x E / P (x)

- 1er temps : ANALYSE


On suppose que x existe et on le dtermine en fonction des donnes du problme : x = f (donn
ees) .
Ce premier temps dmontre LUNICIT de x, mais pas encore son existence.
- 2me temps : SYNTHSE
On pose x = f (donn
ees), o f a t dfini pendant lanalyse, puis on dmontre que x vrifie bien la proprit P.
Ce deuxime temps dmontre LEXISTENCE de x.

5. NOTIONS DE BASE : LOGIQUE R. FERROL 09/10

COURS MPSI

Exemple E14 : dmonstration de lexistence et de lunicit du barycentre de n points pondrs, quand la somme des poids
est non nulle.
Exemple E15 : toute fonction est de faon unique somme dune fonction paire et dune fonction impaire.
f) Raisonnement par rcurrence.
) Rcurrence simple.
Principe :
Si
Variante :
Si

1) (initialisation) P (n0 ) est vrai


, alors n  n0 P (n) est vrai
2) (hrdit) n  n0 P (n) P (n + 1) est vrai

1) (initialisation) P (n0 ) est vrai


, alors n  n0 P (n) est vrai
2) (hrdit) n  n0 + 1 P (n 1) P (n) est vrai

Exemple E16 : la suite de Fibonacci (Fn ) est dfinie par



F0 = 0, F1 = 1
n  2 Fn = Fn2 + Fn1
Remplir le tableau suivant et conjecturer une formule, puis la dmontrer par rcurrence :
n
Fn
Fn1 Fn+1
Fn2

Exemples de rcurrences fausses ; dterminer quels sont les erreurs dans les raisonnements suivants :
1 : soit P (n) : n = n + 1
Si P (n) est vraie, n = n + 1, donc, en ajoutant 1, n + 1 = n + 2 et P (n + 1) est vraie.
Donc, pour tout n, n = n + 1.
2. n points distincts donns du plan sont toujours aligns sur une mme droite
En ceci est vrai pour n = 1, et mme pour n = 2.
Supposons que n points distincts donns du plan sont toujours aligns sur une mme droite (hypothse de rcurrence) et
considrons n + 1 points du plan A1 , A2 , ..., An , An+1 .
Daprs lhypothse de rcurrence, les n points A1 , A2 , ..., An sont aligns sur une droite D et les n points A2 , ..., An , An+1
sont aligns sur une droite D ; mais comme les points A2 et A3 sont communs D et D , D = D et les n + 1 points
A1 , A2 , ..., An , An+1 sont aligns sur D = D , ce qui achve la rcurrence.
) Rcurrence double.
Principe :
Si

1) (initialisation) P (n0 ) et P (n0 + 1) sont vrais


, alors n  n0 P (n) est vrai
2) (hrdit) n  n0 P (n) et P (n + 1) P (n + 2) est vrai

variante 1 :

1) (initialisation) P (n0 ) et P (n0 + 1) sont vrais
, alors n  n0 P (n) est vrai
Si
2) (hrdit) n  n0 + 2 P (n 2) et P (n 1) P (n) est vrai
7

COURS MPSI

5. NOTIONS DE BASE : LOGIQUE R. FERROL 09/10

variante 2 :

1) (initialisation) P (n0 ) et P (n0 + 1) sont vrais
Si
, alors n  n0 P (n) est vrai
2) (hrdit) n  n0 + 1 P (n 1) et P (n) P (n + 1) est vrai
n

Exemple E17 : Montrer que pour n  ......,

(1, 6)
(1, 7)
 Fn 
.
3
2

REM1 : une rcurrence double sur P (n) est en fait une rcurrence simple sur P (n) et P (n + 1) .
D8
REM2 : on peut aussi effectuer des rcurrences triples, quadruples,..., puples.
) Rcurrence forte.
Principe :

1) (initialisation) P (n0 ) est vrai
Si
2) (hrdit) n  n0 [k [|n0 , n|] P (k)]

P (n + 1) est vrai

, alors n  n0 P (n) est vrai

Exemple E18 : dmontrer que tout entier  2 est dcomposable en produit de facteurs premiers.
REM : une rcurrence forte sur P (n) est en fait une rcurrence simple sur k [|n0 , n|] P (k) .
D9