Professional Documents
Culture Documents
N IVEAU : Dbutants
C ONTENU : Cours et exercices
A UTEUR : Vincent J UG
S TAGE : Montpellier 2013
Logique
- Introduction : pourquoi la logique ? Ce cours consiste en une introduction la logique. Les concepts qui y sont
prsents sont simples, mais la base de tout raisonnement mathmatique.
Aussi est-il trs important de les matriser si lon tient explorer, seul, en cours
ou laide dun livre, le monde merveilleux des mathmatiques.
limage de toutes les disciplines scientifiques, les mathmatiques cherchent
fournir une modlisation du monde. Cependant, lapproche choisie est diffrente de celles de la plupart des disciplines dites exprimentales. Ainsi, en
biologie, on travaille sur le vivant ; en chimie, sur les interactions entre les diffrents composants de la matire, tels que les atomes, les ions et les molcules ;
dans les deux cas, lobjet dintrt peut tre apprhend par lexprience, et un
des buts de son tude est den trouver une modlisation aussi simple et prcise
que possible.
Au contraire, les mathmatiques concernent ltude dobjets entirement
issus de lesprit humain, et dont on peut donc esprer quils soient parfaitement dfinis. En particulier, la complexit dune simple paramcie est terrifiante, tandis que celle de lensemble vide lest beaucoup moins. Travailler sur
des objets simples permet alors au mathmaticien dnoncer des assertions extrmement prcises : si le concept dtre vivant est trs flou, ce nest pas le cas
du nombre .
Il convient alors dutiliser un vocabulaire adapt pour noncer ces assertions que lon peut rendre aussi prcises que lon souhaite. Cest le rle de
la logique, qui englobe en particulier le concept de raisonnement. Quest-ce qui
peut faire quune assertion soit vraie ou fausse ? Ou bien simplement que cette
assertion ait un sens ? Cest ce que nous allons voir ci-dessous.
1
- La formalisation de la logique -
Ainsi, la phrase si Paris est la capitale du Mali, alors Paris est la capitale du
Togo est. . .vraie !
Ce que je viens de dire peut vous paratre vident, mais lexprience montre
que cest loin dtre le cas pour tout le monde. En particulier, notons bien que
lon a dit si Paris est la capitale du Mali, alors Paris est la capitale du Togo,
et non pas si Paris tait la capitale du Mali, alors Paris serait la capitale
du Togo. Dans le premier cas, on dit quune assertion fausse implique une
autre assertion fausse ; dans le deuxime cas, on essaie dimaginer (de manire
totalement floue) une situation o la premire assertion serait vraie, et on se
demande si la deuxime assertion serait vraie aussi : les deux cas de figure
nont rien voir !
Une fois encore, il faut donc se mfier des raccourcis de raisonnement auxquels
on est habitu quand on parle dans la vie de tous les jours : on utilise un vocabulaire peu prcis, parfois mauvais escient, mais la situation est si simple
que tout le monde comprend quand mme ce que lon veut dire, et ce mme
sans y faire attention. Cependant, quand on tient noncer des assertions prcises et les dmontrer rigoureusement, et que ces assertions ne sont plus des
vidences, alors il faut prendre garde de ne pas dire nimporte quoi, et choisir
judicieusement les mots que lon emploie devient indispensable !
Cest pour viter cet cueil que les mathmaticiens ont invent leurs propres notations : chacun des symboles que lon pourra ainsi utiliser a un sens
bien prcis, quil convient de connatre avant de lutiliser, et qui permet dnoncer des assertions aussi prcises que possible, donc qui ont une chance dtre
vraie. On pourrait se passer de telles notations et rdiger les mathmatiques
comme on le faisait dans lAntiquit ou la Renaissance. Mais le moindre exercice de 4me prendrait alors des pages et des pages, ce qui ne serait gure
pratique.
Dans la suite, nous verrons donc quelques unes de ces notations mathmatiques, mais surtout leur signification, ainsi que la manire de (ne pas) les
utiliser : utiliser de telles notations mauvais escient peut rendre un texte
compltement inintelligible !
Exercice 1 Durant la premire guerre mondiale, un militaire remarqua que,
alors que presque toutes les parties des avions rentrs du combat portaient
des traces dimpacts de balles, ce ntait jamais le cas du cockpit. Il annona
alors ses suprieurs que le cockpit tait fragile, et quil fallait le renforcer.
tes vous daccord avec cette conclusion ?
Si oui, donner un exemple de raisonnement aussi prcis que possible, qui
3
sera mme de convaincre nimporte quel gnral ; si non, expliquer tout aussi
soigneusement pourquoi le militaire a tort.
a 0 1
a 1 0
a
b
ab
ab
ab
ab
0
0
0
0
1
1
0
1
0
1
1
0
1
0
0
1
0
0
1
1
1
1
1
1
Cest de l que viennent les notations et + utilises pour symboliser la conjonction et la disjonction : la conjonction peut vraiment tre considre comme
un produit, tandis que la disjonction peut tre vue comme une addition ( ceci
prs que lon impose la relation 1 + 1 = 1, car le rsultat dune disjonction ne
peut prendre que les valeurs 0 et 1).
On reconnat bien l le fait que lassertion si Paris est la capitale du Mali,
alors Paris est la capitale du Togo est vraie : puisque Paris est la capitale
6
0
0
0
1
1
0
0
1
0
1
0
1
0
0
1
0
1
1
1
1
1
0
0
1
1
1
0
1
0
0
1
1
0
0
0
1
1
1
1
1
ensemble fini, contenant les trois lments a, b et c, alors x E, P(x) est une
assertion vraie si et seulement si P(a), P(b) et P(c) sont toutes les trois vraies,
ce que lon peut aussi crire P(a) P(b) P(c). Mais utiliser le quantificateur
universel est pratique quand E est un ensemble trs grand, voire un ensemble
infini ! ou alors quand on ne connat pas bien les lments de E.
De mme, le quantificateur exisentiel consiste en fait en une immense disjonction, qui regrouperait tous les lments de E : dans le mme exemple que
prcdemment, x E, P(x) est une assertion vraie si et seulement si au moins
lune des assertions P(a), P(b) et P(c) est vraie, ce que lon peut aussi crire
P(a) P(b) P(c).
Cependant, et de mme que pour les connecteurs logiques tels que et ,
il faut faire attention la faon dont on utilise les symboles et et, dans le
doute, mieux vaut mettre explicitement pour tout x appartenant lensemble
E. . . En particulier, il faut bien prendre garde de ne jamais utiliser ces quantificateurs si lon ne sait pas dans quel ensemble E on peut choisir llment x.
Et, bien sr, de mme quil faut tout prix viter dcrire au lieu de donc, ou bien au lieu de ce qui est quivalent ou bien cest--dire, on
nutilise pas les symboles et en guise dabbrviation : gare celui qui
crira merci ! la fin dune lettre de remerciements !
Enfin, il faut bien videmment prendre garde de ne jamais dfinir deux
fois le mme objet, et de se rappeler que les variables dfinies laide dun
quantificateur existentiel ou universel sont muettes :
les assertions x E, P(x) et E, P() sont quivalentes (quand
bien mme le symbole fait beaucoup plus savant quun banal x) ;
lassertion x E, x F, P(x) na aucun sens, car la variable x tait
dj dfinie (dans la partie x E) quand on tente de la redfinir (dans
la partie x F).
Tout dabord, voici quelques relations que lon peut trouver entre les connecteurs logiques, et que lon peut facilement vrifier laide de tables de
vrit :
A est quivalent B si et seulement si A et B simpliquent lun lautre.
A implique B si et seulement si (non A) ou B est vrai.
A ou B est vrai si et seulement si non ((non A) et (non B)) est vrai.
A et B est vrai si et seulement si non ((non A) ou (non B)) est vrai.
non(non A) est vrai si et seulement si A est vrai.
Les deux dernires lignes sont aussi connues sont le nom de relations de Moivre,
en hommage celui qui les a identifies pour la premire fois, et du fait de leur
importance.
a
0 0 1 1
b
0 1 0 1
ab
1 0 0 1
ab
1 1 0 1
ba
1 0 1 0
(a b) (b a) 1 0 0 1
a b (a b) (b a)
a
0 0 1
b
0 1 0
ab
0 1 1
(a b)
1 0 0
a
1 1 0
b
1 0 1
(a) (b)
1 0 0
(a b) (a) (b)
1
1
1
0
0
0
0
a
b
ab
a
(a) b
0
0
1
1
1
0
1
1
1
1
1
0
0
0
0
1
1
1
0
0
a b (a) b
a
0 0 1 1
b
0 1 0 1
ab
0 0 0 1
(a b)
1 1 1 0
a
1 1 0 0
b
1 0 1 0
(a) (b) 1 1 1 0
(a b) (a) (b)
a
0 1
a
1 0
(a) 0 1
a (a)
On peut faire encore plus fort et toujours transformer une formule logique
en une formule quivalente, mais :
sans symbole , , et
9
13
2. Lhrdit : On montre que, si n est un entier naturel tel que P(k) est vraie
pour tous les entiers naturel k 6 n, alors P(n + 1) est vraie aussi.
3. La conclusion : On en conclut que P(n) est vraie pour tous les entiers
naturels.
Une fois encore, la lgitimit du raisonnement par rcurrence sobserve
facilement si lon considre lensemble E des entiers naturels n tels que P(n)
est fausse.
Enfin, voici une chose laquelle il convient de faire extrmement attention :
dans la plupart des cas, le problme que vous tudierez ne vous demandera
pas de montrer une proprit que lon montre directement par rcurrence.
Souvent, ce sera vous dinventer une proprit, que vous prouverez par
rcurrence, puis laide de laquelle vous pourrez rsoudre lexercice. Il convient alors dtre vigilant et dexprimer trs clairement quelle est la proprit
que lon veut montrer par rcurrence : on ne saurait trop vous conseiller, avant
toute dmonstration par rcurrence, dnoncer explicitement la proprit P(n)
que lon entend dmontrer. En effet, en pratique, il nest pas rare de voir un
lve prtendre dmontrer une proprit P par rcurrence, mais ne pas utiliser
la bonne initialisation (montrant une proprit Q(0) plus faible que la proprit P(0)) ou se tromper dans la phase dhrdit (en utilisant une hypothse
du type si Q(n) est vraie, alors P(n + 1) est vraie pour une proprit Q(n)
plus forte que la proprit P(n)) !
bles : dans le cas gnral, il existe 22 fonctions f : {0, 1}n {0, 1} possibles, et
il serait peine perdue dexxayer de les numrer toutes.
La construction que nous allons utiliser est la forme normale disjonctive. Elle
est trs pratique, puisque deux formules de logique propositionnelle (sans
quantificateurs) sont identiques si et seulement si elles ont mme forme normale disjonctive : et, puisque deux formules de logique propositionnelle peuvent tre interprtes comme des fonctions f : {0, 1}n {0, 1}, il nous suffit de
n
dfinir la forme normale disjonctive pour ces 22 fonctions possibles.
Pour ce faire, fixons une fonction f. On note F lensemble des n-uplets
(x1 , x2 , . . . , xn ) tels que f(x1 , x2 , . . . , xn ) = 1. Ensuite, chaque tel n-uplet x,
on associe une conjonction
X,!appele forme normale disjonctive de f : on choisit
!
V
V
W
X =
(vi )
vi . Puis on associe f la disjonction xF X. Rexi =0
xi =1
marquons que, alors que nous avons not les variables de f par x1 , x2 , . . . , xn ,
les variables utilises dans la formule associe la fonction f sont v1 , v2 , . . . , vn .
Cependant, ce renommage prs (dlibrment
W choisi ici, pour ne pas confondre les xi et les vi ), on vrifie facilement que xF X reprsente effectivement
la fonction f.
Solution de lexercice 4 Nous allons montrer que la dfinition dune suite (un )nN
ayant une limite L R que nous noterons dfinition 0) pour des raisons
pratiques est quivalente aux dfinitions 1) et 3), mais pas aux dfinitions
2) et 4).
1. Transformons progressivement notre dfinition 0) en des dfinitions qui
lui sont quivalentes :
0) quivaut
quivaut
quivaut
quivaut
R, N N, n N, ( > 0 n > N) |L un | 6
R, N N, n N, 6 0 n < N |L un | 6
R, 6 0 (N N, n N, n < N |L un | 6 )
1).
2. Il nous suffit de remarquer que la suite (un )nN telle que tout un = 0 et le
rel L = 2 satisfont la dfinition 2) mais pas 0) :
Dans la dfinition 0), si on prend = 1, alors |L uN | > (alors que
> 0 et que N > N) quelque soit N N.
Dans la dfinition 2), si on prend de manire systmatique N = n + 1,
on remarque que lassertion > 0 n > N est ncessairement fausse,
donc que la dfinition 2) est ncessairement satifsaite.
18
R, N N, n N, ( > 0 n > N) |L un | 6
R, N N, n N, (/2 > 0 n > N) |L un | 6 /2
R, N N, n N, ( > 0 n > N) |L un | 6 /2
R, N N, n N, ( > 0 n > N) |L un | <
R, N N, n N, ( > 0 n > N) |L un | <
3)
3) quivaut
quivaut
implique
implique
implique
1
et
4. Il nous suffit de remarquer que la suite (un )nN telle que tout un = n+1
le rel L = 0 satisfont la dfinition 0) mais pas 3) :
1
Dans la dfinition 3), si on prend = N+2
, alors |L uN | > (alors que
> 0 et que N > N) quelque soit N N.
Dans la dfinition 0), si on prend de manire systmatique N = 1 quand
6 0 et N > 1 quand > 0, on remarque que soit lassertion >
0 n > N est fausse, soit lassertion |L un | 6 est vraie, de sorte que
la dfinition 0) est ncessairement satifsaite.
{y = 5 2x, x = 3y + 6}
{y = 5 2x, x = 21 6x}
{y = 5 2x, 7x = 21}
{x = 3, y = 1}
2 + uk+1 = uk+2 , ce qui montre P(k + 1). Ainsi, la proprit P(k) est vraie
20
21