Université de Monastir A.U.

: 2023/2024
Institut Supérieur d’Informatique
de Mahdia Responsable de cours : Dr. Inès Zribi

Matière : Logique formelle

TD 1 : Logique propositionnelle

Exercice 1 : En notant P et Q les propositions suivantes :

P = “Jean est fort en maths.”
Q = “Jean est fort en chimie.”
Représenter les affirmations qui suivent sous forme symbolique, à l’aide des lettres P et Q et des
connecteurs usuels.

a) “Jean est fort en maths mais faible en chimie.”

b) “Jean n’est fort ni en maths ni en chimie.”

c) “Jean est fort en maths ou il est à la fois fort en chimie et faible en maths.”

d) “Jean est fort en maths s’il est fort en chimie.”

e) “Jean est fort en chimie et en maths ou il est fort en chimie et faible en maths.”

Exercice 2 : En notant M, C et A, les propositions suivantes :

M = “Pierre fait des maths.”
C = “Pierre fait de la chimie.”
A = “Pierre fait de l’anglais.”
Représenter les affirmations qui suivent sous forme symbolique, à l’aide des lettres M, C et A et
des connecteurs usuels.

a) “Pierre fait des maths et de l’anglais mais pas de la chimie.”

b) “Pierre fait des maths et de la chimie mais pas à la fois de la chimie et de l’anglais.”

c) “Il est faux que si Pierre fasse de l’anglais, ne fasse pas des maths.”

d) “Il est faux que Pierre ne fasse pas des maths et fasse quand même de la chimie”

e) “Il est faux que si Pierre fasse de l’anglais ou de la chimie, ne fasse pas des maths.”

f) “Pierre ne fait ni anglais ni Chimie mais il fait des maths.”

LCS 1 TD 1 : Logique propositionnelle Page 2 / 4

Exercice 3 : Traduire chacune des phrases suivantes en une formule du langage des propositions :
a) “Jamais il ne me rencontre sans me dire bonjour.”
b) “Lorsqu’il ne me dit pas bonjour, c’est qu’il est fâché.”
c) “Il s’arrange pour ne jamais me rencontrer lorsqu’il est fâché.”
d) “Ou bien on va se dire bonjour ou bien il est fâché.”

Exercice 4 : Trouvez la table de vérité de :

a) p → (q ∨¬r).
b) (p → r) → ¬p

Exercice 5 : Soit l’expression suivante : A → B → C

a) Quelles sont les formes qu’on peut obtenir en plaçant des parenthèses ?
b) Établir les tables de vérités des formules obtenues.
c) Quelle conclusion peut-on faire ?

Exercice 6 : Dans chacun des cas suivants, dire si les deux formes propositionnelles inscrites sur
la même ligne sont équivalentes.
p ∧ (p → q) p∧q
p→q (¬p) ∨ (p ∧ q)
¬p (¬(p ∨ q)) ∨ ((¬p) ∧ q)
p → (q ∧ r) (p → q) ∧ (p → r)
(p → q) ∧ (q → p) (p ∧ q) → (q ∧ p)

Exercice 7 : Dans chacun des cas suivants, déterminer si la première forme a pour conséquence
logique la forme qui est sur la même ligne :
1 p∧q p
2 ¬(p → q) p
3 (p ∧ q) ∨ r p ∧ (q ∨ r)
4 (p → q) ∧ (q → r) p → (q → r)
5 p → (q → r) p→r
6 (p ∧ q) → r (p → r) ∧ (q → r)

Exercice 8 : Mettre ces formules en CNF et en DNF.

LCS 1 TD 1 : Logique propositionnelle Page 3 / 4

a) (p ∨ q) → (p ∧ q)

b) p → (p ∨ q)

c) p → ((¬p) → p)

d) p → (p → p)

e) (p → q) → ((q → r) → (p → r))

f) (p → r) → ¬p

Exercice 9 : Pour chacune des formules suivantes, dites si elle est satisfaisable mais pas valide,
valide ou insatisfaisable. Justifier vos réponses en utilisant les lois d’équivalence, la méthode de
résolution et la méthode de balayage.

a) (p → ¬p) → (p → ¬p)

b) (p → ⊥) → ¬p

c) ((p → q) ∧ (q → p)) → (¬(p ∧ q) → ¬(p ∨ q))

d) ((p → q) → p) → p

e) ((p → q) ∧ (q → r)) ∨ ((r → q) ∧ (q → p))

Exercice 10 :

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

b) Démontrer, par deux méthodes différentes, que la formule (P ∨ Q) est une conséquence
logique de l’ensemble de formules suivant : { (R ∨ T) ; R → P ; T → Q }.

Exercice 11 : 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 ennuyé, 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 lui 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 bœuf.
I3 : S’il déteste le poisson alors il aime le mouton.
I4 : Il déteste le poulet ou le poisson.
I5 : S’il aime le poisson et pas le poulet, alors il aime le bœuf.
Après longue réflexion, le restaurateur décide de préparer un plat au poisson, car, selon lui :
C : Il (le directeur) déteste le bœuf et le mouton.
LCS 1 TD 1 : Logique propositionnelle Page 4 / 4

a) Traduisez les cinq indications et la conclusion sous forme de formules logiques.

b) Le raisonnement de ce restaurateur est-il valide? Justifier votre réponse.

Exercice 12 : 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 propres investiga-
tions 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 ?