INF 320 : Fiche de TD No1

Étienne KOUOKAM
Année académique 2013-2014

Exercice 1 Analyser les formules suivantes (dire si ce sont des formules, don-
ner arbres, occurrences libres, occurrences liées, identifier la portée de chaque
quantificateur) :

a. (∀x)((D1(x) ∨ D2(x, y)) ⇒ ((∃y)(C(y) ∧ D3(x, y)) ∧ E(u, y, x))).

b. (∀x)(D1(x) ∨ D2(x, y) ⇒ ((∃y)(C(y) ∧ D3(x, y)) ∧ E(u, y, x))).
c. (∀x)(D1(x) ∨ (D2(x, y) ⇒ ((∃y)(C(y) ∧ D3(x, y)) ∧ E(u, y, x)))).
d. (∃x)(∃y)(x 6= y ∧ (∀w)(((w = x ∨ w = y) ∨ w = u) ⇒ (∀z)¬D3(z, w) ∧
D2(x, u)).
e. (∃x)(∃y)(x 6= y ∧ (∀w)(((w = x ∨ w = y) ∨ w = u) ⇒ (∀z)(¬D3(z, w) ∧
D2(x, u)))).

Exercice 2 Donner tous les résolvants de l’ensemble suivant :

C = {{¬P (a), R(a), P (a)}, {P (a), R(b)}, {¬R(b)}, {¬R(a)}}.

Exercice 3 Donner une réfutation de l’ensemble suivant :

C = {{A, B, ¬D}, {¬A, C, ¬D}, {¬B}, {¬C, E}, {¬C, ¬E}, {D}}.

1
INF 320 : Fiche de TD No1 par Etienne KOUOKAM 2

Exercice 4 Flipper le dauphin et Ménardeau Démontrez la validité des rai-

sonnements suivants à l’aide du principe de résolution.

a.
1. Tout homme est un primate
2. Les dauphins ne sont pas des primates
3. Il y a des dauphins qui sont intelligents
Donc, on peut ne pas être un homme et être intelligent
b.
1. Ménardeau a fouillé tous ceux qui entraient dans la faculté sans être
accompagnés
2. Certains membres de la bande sont entrés sans être accompagnés de
personnes étrangères à la bande
3. Ménardeau n’a fouillé aucun membre de la bande
Donc, il y a des ouvriers de l’entreprise parmi la bande.

Exercice 5 Le diplômé motivé

A peine sorti de l’Université de Yaoundé où il a obtenu son master, Joseph
EWANE se rue sur les annonces d’emploi, persuadé que la qualité de la formation
reçue dans cette université sera immédiatement reconnue par les entreprises les
plus prestigieuses. Effectivement, en réponse à l’une de ses 5 678 candidatures
spontanées, Madame Josiane NOUMBISSI, responsable du service des ressources
humaines de la World Company Inc., le convoque pour un entretien décisif. Re-
monté à bloc, Joseph EWANE se précipite dans le premier bus en partance pour
Douala, où il est convoqué. En chemin, il fait le raisonnement suivant (on ne
considèrera pour cela que les parties en italique) :
– (1) En cas de grève, le train sera en retard ou annulé.
– (2) Ne pas réussir l’audition et manquer le rendez-vous sont les 2 causes
les plus sures de ne pas être embauché.
– (3) Compte tenu de la présélection effectuée, réussir à l’entretien est syno-
nyme d’embauche.
– (4) Qui dit train en retard dit rendez-vous manqué.
– (5) Une chose est sûre, je ne raterai pas l’audition.
– (C) Donc, seule une grève peut empêcher mon embauche
Angoissé à l’idée d’avoir son avenir suspendu aux décisions des organisations syn-
dicales, Joseph EWANE tente d’écarter ses idées noires en traduisant en logique
des propositions son raisonnement. Saurez-vous l’aider ?