Ecole Nationale Supérieure Polytechnique de

Maroua

Travaux Dirigés: Introduction à la Logique

Dr Kaladzavi/M. Awé S.D.

Mai 2021

Exercice 0 : . . . souvent lire son cours

1) Établir les tables de vérités des formules propositionnelles suivantes:
a. ¬p → (q ∧ p)
b. (p ∧ q) ∨ r
c. p ↔ (p ∧ q)
d. ((p → q) → (q → p))
e. ((p ∨ ¬q) → r)
2) Donner le but de la Logique.
3) Présenter quelques champs d'application de la Logique.
4) Dénir lexique, syntaxe, pragmatique.
5) Que signie PROLOG?
6) Que diérencie la Logique du langage naturel?
7) Que constitue l'alphabet en Logique propositionnelle?
8) Dire si les formules suivantes sont des tautologies:
a. ¬(¬p ⇔ p)
b. ((p ∨ q) ⇒ (p ∧ q))
c. (¬(p ⇒ q) ⇒ (q ⇒ p))
9) Montrer que la formule (p∧q)∨r∨(¬q ∧¬r)∨(¬p∧¬r) est une tautologie.
10) Simplier les formules suivantes:
(a) ¬((p ∨ q) ⇒ p) ∧ q
(b) (a ∨ (b ⇒ c) ⇒ (a ∨ b ∨ c))

1
Exercice 1 : Loi de Morgan
Soit A, B et C trois propositions.
Démontrer que A ∧ (B ∨ C) et (A ∧ B) ∨ (A ∧ C) sont équivalentes.

Exercice 2 : Loi de Morgan

Soit P et Q deux propositions.
Montrer que les propositions ¬(P ⇒ Q) et P ∧ ¬Q sont équivalentes.

Exercice 3: . . . satisables
Dire pour chaque formule, s'il s'agit d'une tautologie, d'une contradiction ou
d'une formule satisable:

1) (p ⇒ q) ⇒ p

2) (p ⇒ (q ∨ r)) ⇒ (¬q ⇒ (p ∨ r))

Exercice 4: . . . libres ou muettes

Soient les formules suivantes:

1) ∀x∃y(p(x, y) ⇒ q(y))

2) ∀x(p(x, y) ⇒ ∀yq(y))

3) ∀x∃y(p(x, y) ⇒ ∃zp(z, y))

4) ∀y(p(x, y) ⇒ ∃y∀xp(x, y)) ⇒ r(x, x)

- Indiquer les occurrences muettes et libres des variables.

- Indiquer l'arité de chaque formule.

Exercice 5 : Forme normale conjonctive et disjonc-

tive
Mettre sous la forme normale conjonctive et sous le forme normale disjonctive
les propositions suivantes :

1. (p ∧ q) ⇒ r

2. (p∨ q) ∧ (s ⇒ t)

3. (p ∧ q) ∧ (p ∨ q)

2
Exercice 6 : ... susantes
Déterminer des conditions susantes à chacune des propositions ci-après :

1) Avoir sa Licence.

2) Jean est dans la salle.

3) (ζ ) est un cercle de rayon r.

Exercice 7: . . . traduction mathématique

Traduire les énoncés suivantes en formules propositionnelles:

1. Qui vole l'État vole l'État.

2. Il ne baille pas, il est même joyeux.

3. Il baille. On ne peut vraiment pas dire qu'il ne baille pas.

4. Elle n'écoute que de la musique triste.

5. Personne n'a ri, ou même souri.

6. S'il boit du vin, il pleure, ou au contraire il est heureux et il chante.

7. Il n'y a pas de fumée sans feu.

8. Qu'il pleuve ou non, le casse-croute sera une réussite.

9. Tous les étudiants, sauf Pierre, sont présents.

10. Tout le monde a lu un support de Logique.

11. Si Paul est un homme, alors il est mortel.

Exercice 8: . . . Chez Ma'a-restaurant

Jean, Paul et Pierre mange chaque après-midi chez Ma'a-restaurant. Les
armations ci-dessous sont toutes vraies:

1) Si Jean sollicite un plat haricot-beignet-bouillie, Paul demande aussi

pareil.

2) Chaque jour, soit Paul, soit Pierre, mais pas les deux, commandent pareil.

3) Jean ou Pierre, ou les deux, sollicitent chaque jour un tel plat.

4) Si Pierre sollicite un plat, Paul fait de même.

3
 Travail à faire
i- Traduire les 04 armations en des formules propositionnelles.

ii- Que peut-on en déduire sur qui sollicite un plat?

iii- En supprimant une des armations, aura-t-on la même conclusion?

Exercice 9: . . . validité
Soit P un symbole de prédicat unaire. Soit A la formule dénie par ∃x(P (x) ⇒
∀yP (y)).

1. Donner la forme de Skolem de A, nommée B .

2. La formule A est-elle valide? Justier votre réponse.

3. Peut-on en déduire que la formule B est valide? Justier la réponse.

4. On introduit un symbole de prédicat binaire R et la formule C dénit

par ∃x ((∃z R(x, z))) ⇒ ∀y ∃z R(y, z)

(a) Quel lien existe entre la formule A et la formule C ?

(b) Peut-on en déduire que C est valide?

Exercice 10: . . . normale disjonctive

Déterminer les formes normales disjonctives des formules suivantes:

1) (p ∨ q) ⇒ (r ⇒ ¬p)

2) p ⇒ q

3) p ⇒ (p ∨ q)

4) p ⇒ (p ⇒ q)

5) Vérier que (¬p ∧ ¬q) ∨ (¬p ∧ r) est bien une forme normale disjonctive
de ¬(p ∨ (q ∧ ¬r))

Exercice 11 : Les formules

On se place sur un langage avec ube constante moi (la personne qui parle -
"je"), une relation unaire et trois relations binaires:

- mal(x): x est mal (ou mauvais)

4
 - fait(x, y): la personne x fait la chose "y "

- veut(x, y ): la personne x veut la chose "y "

- x = y si x et y sont égaux

1. Traduire en langage naturel les formules suivantes:

(a) ∀x, veut(moi, x) ⇒ fait(moi, x)

(b) ∀x, veut(moi, x) ∧ mal(x) ⇒ qfait(moi, x)
(c) ∀x, ∃y , fait(x, y ) ∧ qveut(x, y )
(d) ∃y , ∀x, veut(x, y ) ∧ qfait(x, y )

2. Donner les formules logiques correspondantes aux énoncés suivantes:

(a) Je ne fais pas toujours ce que jeux.

(b) Je ne fais jamais ce que je veux.
(c) Il n'y a que ceux qui ne font rien qui ne font pas de mal.
(d) Je ne peux faire qu'une chose à la fois.

3. Donner pour chaque énoncé précédent, un énoncé qui exprime la né-

gation de la formule.

Exercice 12 : Modélisation des propriétés

Les objets de la logique vont représenter des individus, des lieux, des dates.
Les symboles de prédicat qui nous intéressent sont les suivants:

- date(d): d est une date;

- personne(p): p est une personne;

- lieu(l): l est un lieu;

- d1 ≤ d2 : d1 et d2 sont deux dates et d1 est avant d2 ;

- resa(p, l, d, f ): l'individu p a réservé le lieu l à partir de la date d

jusqu'à la date f .

- aime(p, l): l'individu p aime le lieu l;

- x = y les objets x et y sont égaux.

On introduit également deux constantes moi et 16−mai qui représentent

la personne qui parle et la date du 16 mai.

1. Traduire en langage naturel les formules suivantes:

5
 (a) ∀l, ∃p, lieu(l) ⇒ aime(p, l)
(b) ∃p, ∀l, lieu(l) ⇒ aime(p, l)
(c) ∀pl, aime(p, l) ⇒ ∃df , resa(p, l, d, f )
(d) ∀pl1 l2 d1 d2 f1 f2 , resa(p, l1 , d1 , f1 ) ∧ resa(p, l2 , d2 , f2 ) ⇒ (f1 ≤ d2 ) ∨
(f2 ≤ d1 ) ∨ (l1 = l2 ∧ d1 = d2 ∧ f1 = f2 )

2. Dénir une formule qui sera notée visite(p, l) avec deux variables libres p
et l qui représente le fait que la personne p a fait une réservation sur le
lieu l.

3. Exprimer comme des formules logiques les propriétés suivantes:

(a) Il existe un lieu que personne n'a jamais réservé.

(b) La date de n d'une réservation est toujours postérieure à la date de
début.
(c) Deux réservations sur le même lieu ne se chevauchent pas (l'une nit
avant que l'autre ne commence).
(d) Je n'aime aucun des endroits que j'ai réservés depuis le 16 mai.

Exercice 13: Par déduction automatique

Montrer que les déductions suivantes du calcul des prédicats sont valides en
utilisant les règles de la déduction naturelle:

1) ∃x (p(x) ∨ q(x)) ` ∃x p(x)∨ ∃x q(x)

2) ¬∃x p(x) ` ∀x ¬p(x)

3) ∀x ¬p(x) ` ∀x (p(x) ⇒ q(x))

4) ∀x p(x) ` ¬∃x ¬p(x)

5) ∀x q(x) ` ∀x (p(x) ⇒ q(x))

Exercice 14: . . . sans tables de vérité

Soient les formules suivantes:
F = ((p ⇒ q) ∨ s) ∧ ((s ⇒ p) ∨ ¬p)
G = (¬q ∧ ¬p) ∨ (q ∧ ¬p) ∨ (p ∧ q) ∨ r

1) Donner les tables de vérités de F et G.

2) Sans la table de vérité de F ⇒ G, montrer ` F ⇒ G

6
Exercice 15: . . . formes normales
Soient les formules suivantes:
1) F= (p ∧ q) ∨ (r ∧ s)
2) G= ((p − > q) − > p) − > p
3) H = ((p ∧ q) ∨ (¬p ∨ r)) ⇒ (q ⇒ r)
Mettre F, G et H sous la forme normale disjonctive et sous la forme normale
conjonctive respectives.

Exercice 16: méthode de résolution

Soient les armations suivantes:
(a) |= p ⇒ p
(b) |= ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)
(c) {p ⇒ q, q ⇒ r, p ∨ ¬r} |= p ∧ q ∧ r
Utiliser la méthode de résolution pour prouver ou inrmer ces armations.

Exercice 17: forme normale prénexe

Mettre sous la forme normale prénexe les formules suivantes:
(a) ∀x ∀y (e(x, y) ⇒ ∃z a(x, z))
(b) ∀x ((∃y (a(x, y)) ⇒ b(x)))
(c) ∃x (p(x)− > ∀x p(x))
(d) ¬(p(x)− > (( ∃y q(x, y))∧ ∃y r(y)))

Exercice 18: . . . uniables

Soient les formules suivantes:
1) p(f (X), a) et p(Y, f (W ))
2) p(f (X), Z) et p(Y, a)
3) p(f (X), h(Y ), a) et p(f (X), Z, a) et p(f (X), h(Y ), b)
4) p(f (a), g(X)) et p(Y, Y )
5) p(a, X, h(g(Z))) et p(Z, h(Y ), h(Y ))
6) p(X, X) et p(Y, f (Y ))
Sont-elles uniables?