TD 1 Logique Formelle

Université de Monastir A.U.
: 2023/2024
Institut Supérieur d’Informatique
de Mahdia Responsable de cours : Dr. Inès Zribi
Matiè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.”
Représenter les affirmations qui suivent sous forme symbolique, à 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 à 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.”
Représenter les affirmations qui suivent sous forme symbolique, à 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 à 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 mê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 fâché.”
c) “Il s’arrange pour ne jamais me rencontrer lorsqu’il est fâché.”
d) “Ou bien on va se dire bonjour ou bien il est fâché.”
Exercice 4 : Trouvez la table de vérité 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 plaçant des parenthèses ?
b) Établir les tables de vérité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 même ligne sont é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, déterminer si la première forme a pour conséquence
logique la forme qui est sur la mê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.

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 réponses en utilisant les lois d’équivalence, la méthode de
résolution et la mé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 modèle pour l’ensemble de formules suivant : { ¬(P ∧ Q) ; R ∨ (¬S) ; S ∧ P }.
b) Démontrer, par deux méthodes différentes, que la formule (P ∨ Q) est une conséquence
logique de l’ensemble de formules suivant : { (R ∨ T) ; R → P ; T → Q }.
Exercice 11 : Le chef d’un restaurateur très réputé doit recevoir prochainement dans son établissement
un directeur d’une société de très haut rang. Il est très ennuyé, car il ne connaı̂t pas les goûts de
son convive, et craint de tenir les relations entre cette société et son établissement en proposant un
menu qui lui déplaise. Pour cela, il demande l’avis de la secrétaire du directeur. Elle lui fournit
des indications sous la forme de la devinette suivante :
I1 : S’il déteste le poulet, alors il aime le poisson.
I2 : Il a les mêmes goûts pour le mouton et le bœuf.
I3 : S’il déteste le poisson alors il aime le mouton.
I4 : Il déteste le poulet ou le poisson.
I5 : S’il aime le poisson et pas le poulet, alors il aime le bœuf.
Après longue réflexion, le restaurateur décide de préparer un plat au poisson, car, selon lui :
C : Il (le directeur) déteste le bœuf et le mouton.
a) Traduisez les cinq indications et la conclusion sous forme de formules logiques.
b) Le raisonnement de ce restaurateur est-il valide? Justifier votre réponse.
Exercice 12 : Un bijoutier déclare que sa boutique a été cambriolée et accuse ses employés “a”,
“b” et “c”. Les inspecteurs déduisent des déclarations du bijoutier et de leurs propres investiga-
tions que :
a) le vol n’aurait pu être commis que par “a”, “b” ou “c” ;
b) si “a” était coupable, il aurait eu un complice et un seul ;
c) si “b” était innocent, alors “c” le serait également ;
d) s’il y avait eu exactement deux coupables, alors “a” serait parmi eux;
e) si “c” était innocent, alors “b” le serait aussi.
Qui a-t-on poursuivi ?

TD 1 Logique Formelle

Transféré par

Droits d'auteur :

Formats disponibles

TD 1 Logique Formelle

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

TD 1 Logique Formelle

Transféré par

Droits d'auteur :

Formats disponibles

Université de Monastir A.U.

Matière : Logique formelle

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

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

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

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

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

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

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

Exercice 4 : Trouvez la table de vérité de :

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

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

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

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

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

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

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

a) le vol n’aurait pu être commis que par “a”, “b” ou “c” ;

b) si “a” était coupable, il aurait eu un complice et un seul ;

c) si “b” était innocent, alors “c” le serait également ;

e) si “c” était innocent, alors “b” le serait aussi.

Qui a-t-on poursuivi ?

Vous aimerez peut-être aussi