U NIVERSITÉ DE T UNIS E L M ANAR 2020-2021

FACULTÉ DES S CIENCES DE T UNIS

————
D ÉPARTEMENT DES S CIENCES DE
L’I NFORMATIQUE

L OGIQUE
T.D.N°2
CP0 : Raisonnement

Section : LCS1
Enseignantes : Yousra Hlaoui et Hajer Salhi

Exercice 1
En utilisant la méthode de résolution, vérifier la conséquence logique suivante :
{(s ⇒ r) ∧ p, q} |= ¬r ∧ ¬s ∧ p.

Exercice 2
Une femme qui cherche un mari présente à ses prétendants 3 coffres numérotés de 1 à 3.
Un seul de ces coffres contient son portrait qu’il faut découvrir. Chaque coffre comporte une
inscription :
1. Le portrait est dans ce coffre.
2. Le portrait n’est pas dans ce coffre.
3. Le portrait n’est pas dans le coffre 1.
On introduit des variables propositionnelles P1 pour représenter le fait que le portrait est
dans le coffre 1 et P2 pour représenter le fait que le portrait est dans le coffre 2.
1. Donner une formule qui utilise les variables P1 et P2 et qui est vraie exactement
lorsque le portrait est dans le coffre 3.
2. Donner une formule qui utilise les variables P1 et P2 et qui représente le fait que le
portrait est exactement dans l’un des coffres.
3. Donner les formules I1 , I2 et I3 qui utilisent les variables P1 et P2 et qui représentent
les inscriptions sur chacun des coffres.
4. Sachant que seulement une des formules I1 , I2 et I3 est vraie, en déduire dans quel
coffre est caché le portrait.

1
Exercice 3
L’inspecteur Lafrite est chargé de l’enquête concernant un vol de tableaux dans une gale-
rie d’art. Il a demandé à Relbou et Gremai, deux de ses adjoints de l’aider dans l’affaire. L’en-
quête a abouti à l’arrestation de quatre personnes : Jules Rasteau, Dériré Lagrange, Michel
Boileau et Félicie Ossy. Les interrogatoires sont conduits par les deux adjoints qui viennent
faire leur rapport :
(F1) Relbou : Jules Rasteau est innocent mais je suis persuadé qu’au moins l’un des
autres est coupable.
(F2) Gremai : Si Dériré Lagrange est coupable, alors il n’a qu’un complice, qui est d’ailleurs
parmi les autres.
(F3) Relbou : Et si Michel Boileau est coupable, je pense qu’il a deux complices parmi les
autres.
(F4) Lafrite : Si je considère que ce que vous me dites est vrai, je peux affirmer la culpa-
bilité de l’une des quatre personnes.

1. Représenter en calcul propositionnel les quatre affirmations F1, F2, F3 et F4.

2. L’ensemble des faits F = {F 1, F 2, F 3, F 4} est-il cohérent ? Pouvez-vous aider les
inspecteurs à trouver la personne coupable ?

Exercice 4
On dit qu’une formule est en forme minimale si elle n’utilise que le connecteur ⇒, et
comme formule atomique ⊥ et les variables propositionnelles.
Le but de l’exercice est de montrer que toute formule propositionnelle admet une forme
minimale équivalente.
1. Montrer que les formules p ⇒ ⊥ et ¬p sont logiquement équivalentes.
2. Sachant que les formules p ⇒ q et ¬p ∨ q sont logiquement équivalentes, donner une
formule équivalente à p ∨ q en forme minimale.
3. (a) Donner la table de vérité de ((p ⇒ (q ⇒ ⊥)) ⇒ ⊥.
(b) Comparer cette table et celle de p ∧ q.
(c) En déduire une formule équivalente à ¬p ∧ q qui soit en forme minimale.
4. Déduire des questions précédentes une fonction min qui transforme toute f ormule
propositionnelle, P (sans oublier >), en une formule équivalente en forme minimale.