1
INITIATION A LA LOGIQUE
K. GUERNOUG
L’exposé suivant est une approche simplifiée de la logique mathématique, mais qui permet,
néanmoins, d’en saisir quelques lignes directrices.
La logique classique aussi bien que la logique dite moderne est fondée sur le principe suivant :
« TOUTE PROPOSITION BIEN CONSTRUITE NE PEUT ETRE DECLAREE QUE SOIT VRAIE SOIT FAUSSE ».
C'est le principe du tiers exclu.
Les recherches actuelles portent sur des systèmes de logique dits « plurivalents » dans lesquels une proposition peut
avoir une valeur autre que « vrai » ou « faux » ( neutre, par exemple )
1°) proposition
C’est tout énoncé pour lequel on peut dire sans ambiguïté s’il est vrai ou bien faux.
La conjonction « ou » utilisée ici a un sens exclusif ( voir § 9 ) et, par conséquent une proposition ne peut être
simultanément vraie et fausse en fonction de tel ou tel paramètre par exemple. Toute autre forme d’énoncé est qualifiée
de prédicat.
Exemples
a)
3
4 est un nombre décimal ( FAUX)
b)
2
5
3
5< (VRAI)
c) Pour tout réel x, (x-1)(x+1) = x² - 1 (VRAI)
d) Pour tous réels a et b non nuls simultanément, a² + b² > 0 (VRAI) : c’est une inégalité remarquable !
e)
2
2
x
x
+
est un nombre entier ( VRAI pour certaines valeurs de x ; mais FAUX pour d’autres valeurs de x ; c’est
donc un prédicat).
2°) Négation d’une proposition
A toute proposition P, correspond une nouvelle proposition qui exprime la négation de la proposition P que l’on note
(non P) et telle que :
Quand la proposition P est vraie , sa négation (non P) est fausse et inversement.
Exemples
P
x = y
x > y
Il fait chaud
A
×
B = 0
si et seulement si
A = 0 ou B= 0*
Ce triangle est
isocèle ou
rectangle
Non P
x
y
x £ y
Il ne fait pas
chaud
A
×
B
0
Si et seulement si
A
0 et B
0
Ce triangle n’est
ni isocèle ni
rectangle.
* Ici, la conjonction « ou » a un sens inclusif ( voir § 9)
Remarque :
non ( non P ) équivaut à P ( c’est à dire que deux négations valent une affirmation )
2
3°) Implication
a) Lorsqu’une proposition (A) admet pour conséquence une proposition ( B), on dit que (A) implique ( B)
et on note : A
B
L’implication est le plus souvent énoncée sous la forme SI «A » ALORS « B », ce qui signifie que si la
proposition A est vraie alors la proposition B est également vraie. La proposition A est appelée HYPOTHESE et la
proposition B la CONCLUSION
Il est à noter que l’hypothèse peut regrouper plusieurs propositions, selon le schéma :
SI { A, B, C } ALORS D
Par ailleurs, et d’une manière générale, l’implication est précédée d’une introduction qui nous définit les éléments
« acteurs » de cette implication.
Exemple soit d1, d2 et
trois droites du plan (introduction)
Si :
d1
et alors d1 // d2
d2
L’introduction nous apprend ici que les éléments considérés sont trois droites d’un même plan. Si par exemple, les
droites n’étaient pas dans un même plan, la conclusion serait fausse ( voir le parallélisme dans l’espace).
L’énoncé pris comme exemple pourrait également s’écrire :
« deux droites perpendiculaires à une même droite sont parallèles »
Ce type d’énoncé doit être analysé afin qu’il soit conforme au schéma ci –dessus :
- Introduction : quels sont les éléments qui entrent en jeu ?
- Hypothèse : que suppose t-on ?
- Conclusion : que va t-on en déduire ?
Il est à noter enfin que l’implication constitue une nouvelle proposition qui résulte de la combinaison d’autres
propositions et qu’ elle peut être à ce titre, aussi bien vraie que fausse.
Les termes : donc, d’où, par conséquent, il s’ensuit, traduisent l’idée d’implication. On doit utiliser ces termes
uniquement dans un contexte de déduction logique ; c’est à dire quand la proposition que l’on énonce à leur suite
résulte de la proposition ou de l’ensemble des propositions qui les précèdent.
Exemple : le quadrilatère ABCD a trois angles droits , c’est donc un rectangle et par conséquent ses diagonales ont la
même longueur.
b) propriété des implications
Si « A
B et B
C » alors A
C
On dit que l’implication est transitive
c) Implication réciproque
On appelle implication réciproque de l’implication « A
B », l’implication « B
A ».Celle ci, comme toute
proposition peut être vraie ou fausse
Exemple 1
Soit l’implication « Si un triangle est équilatéral alors il est isocèle ». L’implication réciproque est fausse
Exemple 2
« Si un quadrilatère est un rectangle alors ses diagonales ont la même longueur » . La réciproque est fausse puisque l’on
ne sait pas si les diagonales se coupent en leurs milieux.
3
Exemple 3
« Si les vecteurs
AB
et
CD sont colinéaires alors les droites (AB) et (CD) sont parallèles » La réciproque est
vraie
4°) Equivalence
Si les propositions A et B sont telles que A
B et réciproquement B
A,
alors on dit que ces deux propositions sont équivalentes et l’on note
A
B
Exemple 1:
ABCD est un parallélogramme
les diagonales [AC] et [BD] ont le même milieu.
Ce qui signifie que :
- d’une part, « si ABCD est un parallélogramme alors les diagonales ont le même milieu » ;
- et réciproquement, « si les diagonales d’un quadrilatère ont le même milieu alors c’est un parallélogramme »
Exemple 2 :
Les points A, B et C sont alignés
les vecteurs
AB
et
AC sont colinéaires.
Ce qui signifie :
« A, B et C alignés
AB
et
AC colinéaires » et réciproquement «
AB
et
AC colinéaires
A, B et C sont
alignés »
5°) Contraposée
a) introduction
Considérons l’implication suivante « si le quadrilatère ABCD est un rectangle alors ABCD est un parallélogramme »
Notons par « A » la proposition « le quadrilatère ABCD est un rectangle » et par « B » la proposition « le quadrilatère
ABCD est un parallélogramme »
Les négations de ces deux propositions sont non A : « le quadrilatère ABCD n’est pas un rectangle » et non B : « le
quadrilatère ABCD n’est pas un parallélogramme »
On peut conjecturer que non A n’implique pas non B, c’est-à-dire que l’implication « si le quadrilatère ABCD n’est pas
un rectangle alors ABCD n’est pas un parallélogramme » est fausse. Par contre, l’implication « si ABCD n’est pas un
parallélogramme, alors ABCD n’est pas un rectangle » est vraie ; ce qui signifierait que « non B
non A »
En fait, ce résultat est général :
Si on a A
B , il en résulte que non B
non A
Démonstration ( pour le type de raisonnement par l’absurde , voir plus loin)
En effet, les propositions non B et A ne peuvent pas être simultanément vraies sinon on aurait
A
B et A
non B ; ce qui signifierait que B et non B sont toutes deux vraies, ce qui est absurde.
Puisque non B exclut A , alors non B implique non A
En résumé, les implications « A
B » et « non B
non A » sont toutes deux exactes ou toutes deux fausses : elles
sont donc équivalentes
L’implication « non B
non A » s’appelle la contraposée de la première implication ( et vice versa).
On retiendra :
b) Exemples
- Supposons un triangle ABC dont le plus grand côté est le côté [BC]
« Si ABC est rectangle en A alors BC2 = AC2 + AB2 » équivaut à « Si BC2
AC2 + AB2 alors ABC n’est
pas rectangle en A ».
Il s’agit ici du théorème de Pythagore et de sa contraposée.
Considérons le théorème « Si un nombre est décimal, alors son écriture fractionnaire irréductible a un
dénominateur de la forme 2 p
×
5q où p et q sont des entiers naturels »
« A
B » équivaut à « non B
non A »
4
- Par contraposition, on peut donc affirmer que
« Si un rationnel a un dénominateur qui ne s’écrit pas sous la forme 2 p
×
5q , alors ce n’est pas un décimal ».
c) Exemple d’application
Lorsqu’il est difficile de démontrer directement que A
B, on peut donc utiliser la contraposée si celle-ci est
facile à mettre en œuvre.
Exemple simple
Considérons la propriété : x et y sont deux nombres positifs ;
Si x > y alors x2 > y2 (1)
Pour démontrer la réciproque, on peut :
Soit prouver que « si x2 > y2 alors x > y »
ou bien sa contraposée qui consiste à prouver que : « si x y alors x2 y2 »
Démontrons donc la contaposée :
D’après la propriété (1) on a évidemment « si x < y alors x2 < y2 »
Et, par ailleurs, il est clair que « si x = y alors x2 = y2 »
Par conséquent, « si x
y alors x2 y2 » ce qui équivaut à « si x2 > y2 alors x > y ».
6°) Raisonnement par l’absurde
Pour démontrer qu’une proposition est vraie, on peut avoir recours au raisonnement par l’absurde. Pour cela, on
suppose que sa négation est vraie et on démontre que les conséquences qui s’ensuivent sont en contradiction avec
l’hypothèse émise. On en déduit que la proposition est vraie puisque sa négation est fausse.
a) Exemple 1
Démontrons la propriété « Dans le plan, si deux droites sont parallèles, alors toute droite sécante à l’une est sécante à
l’autre »
Dans le plan, soit d1 et d2 les deux droites parallèles et
la sécante à d1 par exemple.
Supposons l’hypothèse que
ne soit pas sécante à la droite d2. Il s’ensuit donc que
est parallèle à d2.
Or d1 et d2 sont parallèles et par conséquent
est parallèle à d1 en vertu du théorème « si deux droites sont
parallèles, toute parallèle à l’une est parallèle à l’autre »
On a donc simultanément
parallèle et sécante à la droite d1 , ce qui est absurde. Par conséquent l’hypothèse émise
est fausse et sa négation est vraie ; à savoir que
est sécante à d2
b) Exemple 2 Soit l’équation x3 + 2x2 +5x + 4 = 0. montrer que cette équation n’admet pas de solution
strictement positive.
Posons f (x) = x3 + 2x2 +5x + 4
Supposons donc l’hypothèse que cette équation admette une solution strictement positive x0.
On aurait donc 3 2
000
2 5
xxx
+ + + 4 = 0, soit f (x0) = 0
Or, comme x0 > 0 alors
3
0
x
> 0 , 2 2
0
x > 0 , 5x0 > 0 et par conséquent 0
2
0
3
0x5x2x ++ +4 >0 ; soit
f (x0) > 0 .
On a donc simultanément f (x0) = 0 et f (x0) > 0 ce qui représente une contradiction. Ceci signifie donc que
l’hypothèse initiale est fausse et par conséquent sa négation est vraie : à savoir que l’équation proposée ne peut
avoir une solution positive (trouver alors une solution évidente )
c) Exemple 3
Démontrons par l’absurde que 2 n’est pas un nombre rationnel..
Supposons donc l’hypothèse que 2 est un rationnel et démontrons que cela mène à une contradiction.
5
Dire que 2 est un nombre rationnel signifie que l’on peut trouver une fraction irréductible telle que 2 = q
p
où p et q sont donc deux nombres entiers premiers entre eux.
La relation donnée implique ²q
²p = 2.
Cette relation s’écrit p2 = 2 q2 et nous indique que p2 est un nombre pair. Or si le carré d’un nombre est pair,
alors ce nombre est pair* ; et par conséquent p est un nombre pair.
Par ailleurs, on a q2 =
2
²p (1). Comme p est pair, on peut l’écrire sous la forme p= 2p’ et la relation (1)
devient q2 = 2 (p’)2 et par conséquent q est également un nombre pair.
Or l’hypothèse initiale suppose que p et q sont premiers entre-eux, et notre conclusion est que ces deux nombres
sont pairs, d’où contradiction. Cette hypothèse est donc fausse et par conséquent sa négation est vraie ce qui
revient à dire que 2n’est pas un rationnel.
* Démontrer cette propriété par l’absurde ou par contraposée
7°) L’expression « SI ET SEULEMENT SI »
Considérons la propriété « un quadrilatère ABCD est un parallélogramme si et seulement si les diagonales [AC]
et [BD] ont le même milieu ».
Le mot « si » introduit une hypothèse A : « les diagonales [AC] et [BD] ont le même milieu » qui implique
une conclusion B : « le quadrilatère ABCD est un parallélogramme ».
L’expression « seulement si » signifie que la conclusion B n’est vraie que dans le seul cas où l’hypothèse
A est vraie. Autrement dit, si l’hypothèse A n’est pas vérifiée alors la conclusion B ne l’est pas non plus.
Ce qui se traduit par :
« Si les diagonales [AC] et [ BD] n’ont pas le même milieu alors le quadrilatère ABCD n’est pas un
parallélogramme » Soit « non A
non B »
Or, non A
non B équivaut à B
A d’après la contraposition..
Par conséquent, si et seulement si traduit les deux implications :
A
B et B
A
Soit A
B
8°) L'expression « il faut et il suffit »
Considérons la même propriété que précédemment mais énoncée de la manière suivante :
« Pour qu’un quadrilatère ABCD soit un parallélogramme, il faut et il suffit que les diagonales [AC] et [BD] aient
le même milieu ».
L’expression « il suffit » comme le mot « si » introduit l’hypothèse A qui implique la conclusion B ; c’est
à dire :
« Il suffit que les diagonales [AC] et [BD] aient le même milieu » pour que soit réalisée la conclusion : le
« quadrilatère ABCD est un parallélogramme »
L’expression « il faut » comme l’expression « seulement si » exprime une condition nécessaire c’est -à-dire
que si l’hypothèse A n’est pas vérifiée, alors la conclusion B ne l’est pas non plus.
En résumé :
« Pour que ABCD soit un parallélogramme ; il suffit que [AC] et [BD] aient le même milieu »
Signifie « si [AC] et [BD] ont le même milieu alors ABCD est un parallélogramme »
1 / 6 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !