Université de Sfax

Institut Supérieur d'informatique

A.U.:2020/2021
et du multimédia de Sfax

P-LSI Enseignantes: Raida Ktari et Marwa Hachicha

Matiére : Logique formelle

TD2 : Raisonnement
Exercice1:
Soit P= "il pleut" et Q="il y a des nuages".
Ecrire l'implication P −→ Q ainsi que sa contraposée, sa réciproque et la
contraposée de sa réciproque.
Quelles implications sont vraies?
Exercice2:

a) Trouver un modèle pour l'ensemble de formules suivant:{¬(P ∧ Q); R ∨

(¬S); S ∧ P }

b) Démontrer que l'ensemble de formules ci-dessous est insatisfaisable:

{(¬P ) ∨ Q; P ; ¬Q}.

c) Démontrer par deux méthodes diérentes, que la formule (P ∨ Q) est

une conséquence logique de l'ensemble de formules suivant: {(R ∨
T ); R −→ P ; T −→ Q}.

Exercice3:
Le chef d'un restaurateur très réputé doit recevoir prochainement dans son
établissement un directeur d'une société de très haut rang. il est très en-
nuyé, car il ne connaît pas les goûts de son convive, et craint de tenir les
relations entre cette société et son établissement en proposant un menu qui
lui déplaise. Pour cela, il demande l'avis de la secrétaire du directeur. Elle
luit fournit des indications sous la forme de la devinette suivante:
I1: S'il déteste le poulet, alors il aime le poisson.
I2: Il a les mêmes goûts pour le mouton et le boeuf.
I3: S'il déteste le poisson alors il aime le moutton.
I4: Il déteste le poulet ou le poisson.
I5: S'il aime le poisson et pas le poulet, alors il aime le boeuf.
Après longue réexion, le restaurateur décide de préparer un plat au poisson,
car, selon lui:
C: il (le directeur) déteste le boeuf et le mouton.

1
 a) Traduisez les cinq indications et la conclusion sous forme de formules
logiques.
b) Le raisonnement de ce restaurateur est-il valide? Justier votre réponse.
Exercice4:
Un bijoutier déclare que sa boutique a été cambriolée et accuse ses employés
"a", "b" et "c". Les inspecteurs déduisent des déclarations du bijoutier et
de leurs propores investigations que:

a) le vol n'aurait pu être commis que par "a", "b" ou "c" ;

b) si "a" était coupable, il aurait eu un complice et un seul ;
c) si "b" était innocent, alors "c" le serait également ;
d) s'il y avait eu exactement deux coupables, alors "a" serait parmi eux ;
e) si "c" était innocent, alors "b" le serait aussi.
Qui a-t-on poursuivi?