Université Moulay Ismail Faculté des sciences - Meknès

Master « IAAD » 2023 - 2024

Représentation des connaissances

Série TD N° 01 : Logique des

propositions

Exercice 01 :
Traduire en langage naturel les expressions de la logique propositionnelle suivante.
Sachant que :
A : La mission est terminée B : L'objectif est atteint
C : La mission a réussi D : Le problème est résolu
a) (¬AV ¬B) → ¬C
b) ((¬A Λ ¬B) Λ D)
c) D → C Λ (¬A V ¬B)

Exercice 02 :
Soit p : Imad est un étudiant,
q : Imad a 23 ans,
r : Imad habite à Fès.

Traduisez en langage courant chacune des propositions composées.

a) p Λ q
b) ¬ p Λ q
c) ¬ (p Λ r)
d) ¬ p Λ ¬ q
e) r Λ ¬ q

Exercice 03 :
Trois collègues, Albert, Bernard et Charles déjeunent ensemble chaque jour ouvrable. Les
affirmations suivantes sont vraies :
1. Si Albert commande un dessert, Bernard en commande un aussi.
2. Chaque jour, soit Bernard, soit Charles, mais pas les deux, commandent un dessert.
3. Albert ou Charles, ou les deux, commandent chaque jour un dessert.
4. Si Charles commande un dessert, Albert fait de même.
Exprimer les données du problème comme des formules propositionnelles ?
1
Université Moulay Ismail Faculté des sciences - Meknès
Master « IAAD » 2023 - 2024
Représentation des connaissances

Exercice 04 :
Formaliser en logique propositionnelle chacun des raisonnements suivants :
a) Il fait chaud ou il fait froid, mais s'il fait chaud c'est qu'il ne fait pas froid.
b) S’il fait chaud je ne sors pas
c) Je ne suis pas sortie car il fait froid

Exercice 05 :
Formaliser en logique propositionnelle chacun des raisonnements suivants :
Soit p : il pleut,
q : Jérôme va au cinéma,
r : Karine prend le métro.
Traduisez en langage courant chacune des propositions composées.
a) p → q
b) p ↔ r
c) ¬ q → p
d) p ↔ ¬ q
e) ¬ (q → r)

Exercice 06 :
On considère les propositions suivantes :
a) Si Alice et Julie viennent à Paris, Zoé viendra aussi
b) Si Julie vient à Paris, Alice aussi
c) Julie ou Zoé, l’une des deux au moins, viendra à Paris.
1. Exprimer ces 3 propositions en logique des propositions.
2. Montrez que la formule F = (p ∧ q) ∨ r ∨ (¬q ∧ ¬r) ∨ (¬p ∧ ¬r) est une
tautologie.
3. (p ∧ q)  (¬q ∧ ¬r) est une implication logique ?

Exercice 07 :
Les phrases suivantes correspondent-elles à des tautologies propositionnelles ?
a) Ou il pleut, ou il ne pleut pas.
b) Tout homme est un homme.
c) Un célibataire n'est pas marié.
d) La guerre, c'est la guerre.
e) Il est gentil, et pas gentil.