USTHB-Faculté d’Informatique

Module : Logique Mathématique

Corrigé Série N° 1
(Calcul Propositionnel- Syntaxe)
Exercice 1
1.

Formule Mal/bien formée Justification/Formule simplifiée

((P1P2)P3) Bien formée (P1P2) P3

P1(P2P3) Mal formée La négation est un connecteur

monaire(l'algorithme d'induction de la définition de la
formule ne permet pas d'avoir la formule)

(P1(P0) Mal formée Manque la parenthèse fermante associée à

la première parenthèse ouvrante

(P1P2)( P3)P1) Bien formée P1P2 P3P1

P1 ((P1P2) P3) Bien formée P1 (P1P2P3)

((P1P2)(P1P3))(P1 (P2P3)) Bien formée P1P2(P1P3)(P1 P2P3)

Remarque : Les parenthèses peuvent être omises si elles suivent l'ordre d'évaluation des connecteurs
(voir cours).

2. Réécriture des formules dans le langage propositionnel Lp(,) :

 P1P2P3 = (P1 (P2P3))

2. P1P2P4 = (P1P2)P4 = ( (P1P2)P4) = ( (P1P2)P4)

3. P1P1P2P3 =((P1P1)P2)P3 =(((P1P1)P2)P3)

=(( (P1P1)P2)P3)
=((( (P1P1)P2P2 (P1P1))P3)
=(( ( (P1P1)P2P2 (P1P1))P3)

4. P1P2P3P4P3P2P3 =(((P1P2)P3)P4P3))(P2P3)
=(( (P1P2)P3)P4P3)) (P2P3)
=(( (P1P2)P3)P4P3)) (P2P3)
=( ( (P1P2)P3)P4P3)) (P2P3)

1/3
USTHB-Faculté d’Informatique
Module : Logique Mathématique
Corrigé Série N° 1
(Calcul Propositionnel- Syntaxe)
Exercice 2
On considère les propositions atomiques S, P, C, D, E représentant respectivement les assertions « je
Sors», « je fais du sPort », « je vais au Cinéma », «j’ai des Devoirs», « je prépare efficacement mes
Examens ». Enoncer des phrases simples qui traduisent chacune des formules suivantes :
1. La formule P  D E est traduite par :
 Si je fais du sport ou j’ai des devoirs, je prépare efficacement mes examens
 Si je fais du sport ou j’ai des devoirs alors je prépare efficacement mes examens
 Je prépare efficacement mes examens si je fais du sport ou j’ai des devoirs.
Synthèse
 Le symbole '' est remplacé par "ou", mais le symbole '' est inclusif alors que le "ou" est
généralement exclusif, d'où l'ambigüité de la langue parlante par rapport formalisme.
 Le symbole '' est remplacé par "si cause alors conséquence", "si cause, conséquence" ou encore
par "conséquence si cause"

2. De manière similaire, la formule DS est traduite par :

 Si je n'ai pas des devoirs, je sors.
 Je sors si je n'ai pas des devoirs.
Synthèse
 Le symbole '' est remplacé par "ne... pas"

3. La formule(PC) (C P)exprime l'exclusivité entre pratiquer le sport et aller au cinéma.

Une traduction directe donnera la phrase :
 Je fais du sport et je ne vais pas au cinéma ou je vais au cinéma et je ne fais du sport.

Mais,il est préférable d’utiliser l’expression « Soit….soit… » et on a alors la traduction :

 Soit je fais du sport soit je vais au cinéma.
Synthèse
 Le ou exclusif est remplacé par "Soit .... soit..."

4. La formule S  P  C est traduite par :

 Si je sors, je fais du sport ou je vais au cinéma.
 Je fais du sport ou je vais au cinéma si je sors.

5. La formule C↔D est traduite par :

 Je vais au cinéma si et seulement si je n'ai pas des devoirs.
 Je vais au cinéma est équivalent à je n'ai pas des devoirs.
Synthèse
 Le symbole '' est remplacé par "... si et seulement si ..." ou"... est équivalent à ...";
 Suivant les expressions, le symbole '' peut aussi être remplacé par "... seulement et
nécessairement si ..."ou "... il faut et il suffit...".

2/3
USTHB-Faculté d’Informatique
Module : Logique Mathématique
Corrigé Série N° 1
(Calcul Propositionnel- Syntaxe)
Exercice 3
Rappelons que par convention, une variable propositionnelle doit correspondre à une phrase verbale
pour qu'elle puisse avoir une valeur de vérité.

1. Soient les deux variables propositionnelles (VPs), Y et V telles que :

Y : Ali suit des cours de yoga et
V : Ali suit des cours de volley ball.
La formule 1en langage propositionnel : 1=Y V
2. Pour éviter la confusion entre Ali suit des cours et pratique (qui peuvent être différentes), il est
mieux de définir d'autres VP pour exprimer que Ali pratique.
Y2 : Ali pratique le yoga
V2 : Ali pratique le volley ball.
La formule 2en langage propositionnel : 2=Y2V2
3. 3=JR
Avec les traductions
J : Ali joue au volley-ball
R : Ali connait les règles du jeu
Synthèse
 Le terme "sans" est remplacé par '' suivi de '';
 La VP ne doit pas contenir une négation (sans), elle confirme plutôt qu'infirme.
4. 4=V4C
Avec les traductions
V4 : Je prends ma voiture
C : Je fais les courses.
5. 5=THR5
Avec les traductions
T : Le patient a le teint jaune,
H : Le patient a une hépatite
R5 : Le patient a la rougeole.
Synthèse
 "Mais" est remplacé par ''
6. 6=(MT6)(T6M)
Avec les traductions
M : Ali a visité le Maroc
T6 : Ali a visité la Turquie
Synthèse
 « Exactement un » assure l'exclusivité de la visite à un seul pays.
7. 7=(SP)
Avec les traductions
S : Deux droites sont sécantes
P : Deux droites sont parallèles.
Synthèse
 Traduire la phrase sans la négation d’abord puis ajouter la négation dans une seconde étape.

3/3