Professional Documents
Culture Documents
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)
Q (....)
x R / x2 = y
y R+ Q (..)
S (....)
x R / fk (x) = 0
k {1, 2, 3} S (....)
ferm ?
variables libres
.
.
.
.
.
.
.
.
non P (ou P )
COURS MPSI
ngation de lnonc
Exemple :
nonc
en franais
en langage formalis
non P
.............................................................................
P
tout rel possde un inverse
P
..............................................................
x R y R / xy = 1
Q
......................................................................
y R / x R xy = 1
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)
COURS MPSI
V
V
F
F
V
F
V
F
si P alors Q
P Q
quadrilatre
quadrilatre
2) Pour quun
soit un
paralllogramme
paralllogramme
En rsum :
...................
...................
, il faut et il suffit que
...................
...................
- 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
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 :
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
COURS MPSI
Autre exemple E6.
7) galits et ingalits.
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.......................................................................................
COURS MPSI
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
x
x
, puis lim
suivant les valeurs de et .
>
x+ 1 + x
x0 1 + x
!x E / P (x)
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
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
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
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
(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
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