Faculté des Sciences de Tunis Département des Sciences de l’Informatique

Logique Formelle – MI2

Série d’exercices 2 : CP1
Yosr SLAMA 2020-2021

EXERCICE 1 :
P (x), L(x), R(x, y, z) et E(x, y) représentent respectivement “x est un point”, “x est une
droite”, “z passe par x et y” et “x = y”. Formaliser la phrase suivante : pour chaque
couples de points différents, il y a une et une seule droite qui passe par ces deux points.
EXERCICE 2 :
Si P (x) et Q(x) représentent respectivement “x est un nombre rationnel” et “x est un
nombre réel”, formaliser les phrases suivantes :
• chaque nombre rationnel est un nombre réel
• certains nombres réels sont des nombres rationnels
• chaque réel n’est pas nécessairement un rationnel
EXERCICE 3 :
Symboliser et formaliser les trois axiomes suivants définissant les entiers naturels :
• chaque entier a un et un seul successeur immédiat
• il n’y a pas d’entier pour lequel 0 est le successeur immédiat
• chaque entier autre que 0 a un et un seul prédécesseur immédiat
EXERCICE 4 : - Le panda et le bambou -
Traduire en formules du CP1 les énoncés ci-après en utilisant les 5 prédicats suivants :
- Mange(x,y) : x mange y.
- Herbivore(x) : x est un animal herbivore.
- Vegetal(x) : x est un végétal.
- Bambou(x) : x est un bambou.
- Panda(x) : x est un panda.
1. Les herbivores ne mangent que des végétaux.
2. Aucun herbivore ne mange tout type de végétal.
3. Il y a des végétaux que ne mangent aucun herbivore.
4. Les pandas sont des herbivores qui ne consomment que des bambous.
EXERCICE 5 : - Génétique logique -
Le trait "yeux bleus" est-il pour l'espèce humaine un caractère récessif ou dominant d'un point
de vue génétique ? Voilà une question que pourrait se poser des étudiants de Sciences de la
Vie au vu des affirmations ci-dessous.
(a) Les enfants de deux parents aux yeux bleus ont forcément les yeux bleus.
(b) Lorsqu’un enfant a les yeux bleus, on ne peut pas affirmer que ses deux parents ont
les yeux bleus.
(c) Un enfant de deux parents aux yeux bruns peut avoir les yeux bleus ou bruns.
(d) Lorsqu’une personne a les yeux bruns, on peut affirmer que l’un au moins de ses
deux parents a les yeux bruns.
Donner la traduction logique des 4 énoncés précédents. On utilisera pour cela les prédicats :
- Est-enfant-de(x,y,z) est vrai si et seulement si x est l’enfant de y et de z.
- Yeux_bleus(x) et Yeux_bruns(y) sont vrais respectivement ssi x a les yeux bleus et
y les yeux bruns.

1
Faculté des Sciences de Tunis Département des Sciences de l’Informatique
EXERCICE 6 : - Un peu de rangement -
Mariem veut ranger sa chambre, elle énonce :
(1) Tous les tiroirs contiennent des feuilles.
(2) Aucun des classeurs ne contient d'enveloppes
(3) Dans l'un des classeurs, il n'y a que des enveloppes.
(4) Si on trouve des feuilles dans un tiroir, on est certain de ne pas y trouver
d'enveloppes.

Traduire les énoncés suivants en langage des prédicats du premier ordre. On utilisera 4 prédicats
unaires destinés à l'identification des objets décrits dans ces énoncés (par exemple, Feuille(x) a
pour signification : x est une feuille) et le prédicat Dans(x,y) vrai si et seulement si x est dans
y.

EXERCICE 7 :
On considère les deux formules suivantes utilisant les deux prédicats binaires R et S :

(F1) ∃x ∀y (R(x,y)) → S(x,y))

(F2) ∀x ∃y (R(x,y)) → S(x,y))

1. Donner un modèle de la formule (F2) qui ne soit pas un modèle de la formule (F1).
2. Le domaine d’interprétation est l’ensemble des entiers naturels supérieurs ou égaux à 2.
L’interprétation de R est la relation d’inégalité « inférieur(e) ou égal(e) » et celle de S est
la relation « divise » (dans le sens de la division euclidienne définie sur les entiers).
a. Donner les valeurs de vérité des formules F1 et F2 dans cette interprétation.
b. En gardant les mêmes significations pour les prédicats R et S, modifier le domaine
d’interprétation pour que les deux formules soient vraies.

EXERCICE 8 :
On considère les deux formules de prédicat du 1er ordre suivantes, où P est un symbole de
prédicat unaire et S un symbole de prédicat binaire.

(F1) ∃x ∀y ∃z ((P(x) → S(x,y)) ⋀ P(y) ⋀  S(y,z))

(F2) ∃x ∃z ((S(z,x) → S(x,z)) → ∀y S(x,y))

Soient les deux interprétations (Ia) et (Ib) suivantes :

(Ia) le domaine est N; S est la relation d’égalité et P(n) signifie que n est pair.

(Ib) le domaine est R ; S(x,y) signifie que « y=x2 » et P(x) signifie que x est un nombre rationnel.

Les interprétations (Ia) et (Ib) sont-elles des modèles de (F1) et/ou (F2) ?

EXERCICE 9 :
Soit I l’interprétation suivante : D = {1, 2} ; a=1 ; f (1) = 2 et f (2) = 1 ; P (1) = F, P (2) = T ;
Q(1, 1) = T, Q(2, 1) = F, Q(2, 2) = T et Q(1,2) = T.

Evaluer ϕ dans l’interprétation I dans chacun des cas suivants :

2
Faculté des Sciences de Tunis Département des Sciences de l’Informatique

• ϕ : (∃x)(P (f (x)) ∧ Q(x, f (a)))

• ϕ : (∃x)(P (x) ∧ Q(x, a))
• ϕ : (∀x)(∃y)(P (x) ∧ Q(x, y))

EXERCICE 10 :
Que peut-on dire concernant la validité des formules suivantes :

• ∀xP (x) ∧ ∃y¬P (y)

• ∀xP (x) → ∃yP (y)
• P (a) → ¬∃xP (x)
• ∀xP (x) ∨ ∃y¬P (y)
• ∃x∀yP (x, y) → ∀y∃xP (x, y)
• ∀y∃xP (x, y) → ∃x∀yP (x, y)
• ∀x∀yP (x, y) → ∀y∀xP (x, y)
• ∃x∃yP (x, y) → ∃y∃xP (x, y)

EXERCICE 11 :
Montrer que {ϕ1, ϕ2} |= ϕ3 pour les items suivants :

• ϕ1 : ∀x(U (x) → ¬B(x)) ; ϕ2 : ∃x(B(x) ∧ D(x)) ; ϕ3 : ∃x(D(x) ∧ ¬U (x))

• ϕ1 : ∃x(P (x) ∧ ∀y(D(y) → L(x, y))) ; ϕ2 : ∀x(P (x) → ∀y(Q(y) → ¬L(x, y))) ; ϕ3 : ∀x(D(x)
→ ¬Q(x))

EXERCICE 12 :
Démontrer par l’absurde la validité des raisonnements suivants :
1. Aucun oiseau se nourrissant au sol n’est de couleur chatoyante. Les traine-buissons sont
des oiseaux qui se nourrissent au sol. Donc aucun traine-buisson n’est de couleur
chatoyante.
2. Quelques oiseaux chanteurs percent les graines de cerises. Tous les oiseaux chanteurs
sont des oiseaux. Tous les oiseaux qui percent les graines de cerises ont de gros becs.
Donc certains oiseaux chanteurs ont de gros becs.
3. Tous les oiseaux sont soit des pinsons soit des fauvettes de saule. Des oiseaux sont
entrain de chanter à proximité du sol. Les pinsons ne chantent pas à proximité du sol.
Donc tous les oiseaux sont des fauvettes de saule.
4. Les bouvreuils peuvent chanter deux notes à la fois. Les bouvreuils sont des oiseaux. Il
y a quelques bouvreuils. Donc il y a quelques oiseaux qui peuvent chanter deux notes à
la fois.

EXERCICE 13 :
Transformer les formules suivantes en forme normale pénexe :

• ϕ1 : ∀x (P (x) → ∃y Q(x, y))

• ϕ2 : ∃x (¬(∃y P (x, y)) → (∃z Q(z) →R(x)))
• ϕ3 : ∀x∀y (∃z P (x, y, z) ∧ (∃u Q(x, u) → ∃v Q(y, v)))