FORMALISATION ET RAISONNEMENT

Par M. Eugène EZIN

95 71 95 28
eugene.ezin@gmail.com
  Initiation au raisonnement logique
 Syntaxe de la logique de proposition
 Sémantique de la logique de proposition (interprétations et modèles)
 Définition des problèmes posés en logique et les liens entre eux, satisfiabilité,
validité équivalente et conséquence
 Méthodes de preuve
 Logique des prédicats

 Cours magistral

 TD

 TG

 Evaluation formative

 Evaluation sommative

o TG
o Contrôle
o Devoir

Exercice
Trois frères Alfred, Bernard et Claude ont des crayons de couleurs différentes : bleu, rouge et
vert. On suppose que les assertions suivantes sont vraies

 Si le crayon d’Alfred est vert, alors le crayon de Bernard est bleu

 Si le crayon d’Alfred est bleu, alors le crayon de Bernard est rouge
 Si le crayon de Bernard n’est pas vert, alors le crayon de Claude est bleu
 Si le crayon de Claude est rouge, alors le crayon d’Alfred est bleu

Pouvez-vous identifier les couleurs respectives des crayons d’Alfred, Bernard et Claude ?

Exercice
Un enfant ne range jamais sa chambre. Pour l’inciter à ranger, ses parents lui disent : « Si tu
range ta chambre, alors tu auras du chocolat ». L’enfant ne range toujours pas sa chambre.
Pire, le lendemain, il réclame fièrement du chocolat à ses parents.
Va-t-il se faire punir ? Justifier votre réponse
Après discussion entre eux, les parents se rendent compte de leur erreur et disent plutôt à
l’enfant : « Si tu n’as pas de chocolat, alors cela veut dire que tu n’as pas ranger ta
chambre » (contraposition de la première phrase)
Cela change-t-il quelque chose dans le comportement de l’enfant ? Justifier votre réponse
Excédé, les parents lui disent maintenant : « Tu auras du chocolat si et seulement si tu range
ta chambre »
L’enfant peut-il encore faire le malin ? Justifier votre réponse

Nombre de possibilités Nombre de propositions

A. Logique propositionnelle (Logique des propositions)
Les connecteurs logiques
C’est un outil qui permet de relier deux ou plusieurs propositions et dans certains
cas, il modifie le sens d’une proposition

Une proposition est un énoncé auquel on applique la valeur « vraie » ou la valeur

« faux » (La proposition p : 3 < 5 est une proposition car sa valeur de vérité est vrai)

L’outil est un connecteur s’il permet d’obtenir une nouvelle proposition (Si p et q
sont des propositions, alors p q est une proposition)

 Connecteur logique ET (^)

o prq = p^q
o (p^q) ^ r = p^(q^r)
 Connecteur logique OU (v)
 Connecteur NON (⎺)
 Implication
o p =>q équivaut à ⎺p v q
o p=>q est faux si p est vraie et q est faux
 Equivalence
o pq est une proposition qui est p=>q et q=>p
 Quantificateurs
Il existe deux quantificateurs :
 Le quantificateur universel quelque soit (∀)
 Le quantificateur existentiel il existe (∃) (se lit il existe au
moins)
 La négation de ∀ est ∃
Exercice
Quatre amis, Adrienne, Béatrice, Charlotte et Delphine exercent quatre professions
différentes : avocate, médecin, pharmacien et professeur. Ni Béatrice, ni Charlotte
n’exerce une profession de santé. Celle des quatre amies qui est médecin soigne
Adrienne et Charlotte. Adrienne et Charlotte n’enseignent pas. Parmi les propositions
suivantes, lesquelles sont possible
1. Adrienne est pharmacienne et Charlotte est médecin
2. Béatrice est avocate et Charlotte est professeur
3. Charlotte est professeur et Adrienne est pharmacienne
4. Delphine est médecin et Béatrice est Professeur
5. Adrienne est médecin et Charlotte est pharmacienne

Exercice
Ecris à l’aide des quantificateurs les propositions suivantes
1. Le carré de tout réel est positif
2. Certains réels sont strictement supérieurs à leur carré
3. Aucun entier n’est supérieur à tous les autres (Il existe un entier qui est
supérieur à tous les autres)
 4. Tous les réels ne sont pas des quotient d’entiers
5. Il existe un entier multiple de tous les autres
6. Entre deux réels distincts, il existe un rationnel
7. Etant donné trois réels, il y en a au moins deux de même signe

Exercices
John, Joe et Jacques sont trois frères triplés. Ils sont physiquement identiques. Le plus
vieux est John. Il dit systématiquement la vérité. Le second c’est Jacques. Il ment toujours.
Le troisième, Joe, ment ou ne ment pas en fonction de son bon vouloir. Vous les rendez
visite un jour et vous interrogez pour savoir qui est qui. Alors vous prenez l’initiative de
poser des questions à chacun des frères. Le premier que vous interrogez est celui qui est
assis sur la gauche. Vous lui demandez « Qui est assis au milieu ». La réponse qui vous est
donné : « C’est John ». Vous interrogez ensuite celui qui est assis au milieu : « Quel est
votre nom ». La réponse qui vous est donnée c’est « Joe ». Vous interrogez ensuite celui
qui est assis sur la droite : « Quel est le nom de la personne assise au milieu. La réponse
qui vous est donnée c’est « Jacques ». Déterminez l’identité de chacun des trois frères

Syllogisme = raisonnement syllogistique

Prémisse = Proposition (vraie ou fausse)
Prémisse majeure et prémisse mineure
Prémisse majeure est une proposition plus générale qui est plus globale et qui est vraie
Prémisse majeure a la particularité de contenir une implication (P implique Q)
Prémisse mineure est une proposition (mineure). Le contenu de la prémisse mineure est
un élément de P
La conclusion découle des deux prémisses
PQ
Prémisse mineure : p appartient à P
Conclusion : p appartient à Q

Raisonnement valide  Syllogisme (majeure (P => Q), mineure (p appartient à Q), conclusion
(p appartient à Q))

La prémisse majeure : la présence du quantificateur universelle

B. Logique des prédicats
 C. Types de raisonnement
Contraposition : Justifier p => q revient à justifier _q => _p (baser le
raisonnement sur le _q) (attention : la finalité n’est pas l’absurdité)
« Un arc-en-ciel nécessite un rayon de soleil » devient alors « Sans rayon de
soleil, il n’y a pas d’arc en ciel »
Disjonctif : C’est un raisonnement dont l’une des prémisses affirme une
disjonction exclusive c’est-à-dire une alternative entre deux propositions.
L’autre prémisse affirme ou réfute la vérité d’une des deux propositions. La
conclusion affirme ou réfute la vérité
Elimination : Raisonner par élimination (doit avoir un caractère fini)
Contre-exemple : Trouvé un exemple qui va à l’encontre d’une vérité
Inductif :
Inductif
C’est un mode raisonnement, une opération mentale qui consiste
à partir du singulier pour aller au cas général, du particulier à une
loi
« La France est en Europe, Paris est en France, Paris est en
Europe »
Récurrence
 Démontrer que P(n) est vrai
 P(0) est vrai
 P(1) est vrai
 Supposer que P(n) est vrai et démontrer que P(n+1) est vrai
Démontrer en deux ou cinq lignes max que 1+2+3+…+n est effectivement égal à
n(n+1) /2
Démontrer par récurrence que 1 + 3 + 5 +…+ (2n -1) = n²
D. Problèmes bien « posés »