Université de Mascara Département d'Informatique

Faculté des Sciences Exactes L2 INFO – 2022/2023

TD (Langage Propositionnel)
Exercice n°1 :
1. Traduire les énoncés suivant sous forme de proposition attributive, donner leur type et les représenter par
diagramme d'Euler et de Venn :
a) Certaines personnes conduisent sans permis de conduire
b) L'humanité entière est contre la guerre
2. Soient les prémisses :
a) Si aucun étudiant n’est analphabète b) Si tout arbre est une plante
Si certains algériens sont analphabètes Si Aucune plante n’est un minéral
Alors ……………………….. Alors ………………………..
Quelles conclusions peut-on tirer ? Justifier en précisant la figure et le mode du Syllogisme
3. Donner des exemples concrets des syllogismes suivants et justifier leur validité : EAE(fig. I), EIO(fig. II),
IAI(fig. III), AEE(fig. IV),
4. Que peut-on dire du syllogisme OAE (fig. III) ? justifier.
Exercice n°2 :
1. Mettre les parenthèses ensuite écrire les fbf suivantes en notation pré et post fixée, en considérant l'ordre de
priorité des connecteurs : ¬, (∧, ∨), (⊃, ≡)
a) p ⊃ q ∨ r ∨ s b) q ∧ ¬ r ≡ p ∨ q
c) p ∧ ¬r ⊃ q ≡ p ∧ q d) ¬¬ p ∨ q ∧ r ∨ ¬ q
2. Soit la formule suivante : A=((p ≡ q) ∨ r) ⊃ (¬q ⊃ (p ∨ r))
a) Montrer que A est une FBF de LP0 en donnant son arbre syntaxique.
b) Ecrire A dans les notations Préfixée et Post-fixée.
Exercice n°2 :
1. Traduire les énoncés suivants dans le langage LP0 :
a) Kaddour et Kader prirent le café et Kada fit de même.
b) Kaddour prit le café, et Kader ou Kada aussi
c) Kaddour et Kader ont dîné tous les deux, ou bien Kaddour et Kada prirent le café
d) Kaddour a dîné, ainsi que Kada ou Kader
e) Kaddour étudie bien à moins qu'il ne soit fatigué, auquel cas non
2. Traduire les argumentations suivantes dans le langage LP0 :
a) Je vous paierai votre installation de P.C. seulement si elle marche,
Or votre installation ne marche pas.
Donc je ne vous paierai pas.
b) S'il ne lui a pas dit, elle ne trouvera jamais.
Si elle ne lui a pas posé la question, il ne le lui dira pas.
Or elle a trouvé.
Donc elle lui a posé la question.
Exercice n°4 :
Brown, Jones et Smith sont accusé de fraude fiscale. Chacun d’eux témoigne de la manière suivante :
BROWN : Jones est coupable et Smith est innocent.
JONES : Si Brown est coupable, alors Smith aussi.
SMITH : Je suis innocent mais au moins l'un des deux autres est coupable.
Soit B, J et S les énoncés: "Brown est innocent" "Jones est innocent" "Smith est innocent"
1. Exprimer le témoignage de chacun des suspects dans le langage LP0.
2. Calculer les valeurs de vérité des trois formules obtenues, puis répondre aux questions suivantes:
a) Les témoignages sont-ils compatibles?
b) Quel témoignage d'un suspect découle de celui d'un autre ?
c) En supposant que tous sont innocents, lequel aurait produit un faux témoignage ?
d) En supposant que le témoignage de chacun des suspects est vrai qui est innocent, qui est coupable ?
e) En supposant que l'innocent a dit la vérité et que le coupable a menti, qui est innocent et qui est
coupable ?