Université de Béjaia Mars 2021

Département d'informatique
2ème année Licence Logique Mathématique

TD 2
Exercice 1. On cherche à modéliser un plan de table, c'est-à-dire comment les personnes sont installées
pour diner autour d'une table. On se donne les prédicats suivants :
V (x, y) : x est assis à côté de y ;
A(x, y) : x et y sont amis ;
H(x) : x est un homme
F (x) : x est une femme
E(x, y) : x et y sont la même personne.
1. Exprimer par des formules logiques sur le langage précédent les formules suivants :
(a) Les personnes qui sont assises côte à côte sont amis ;
(b) Deux hommes ne sont pas assis côte à côte ;
(c) Une femme est assise à côté d'au moins un homme ;
(d) Personne n'est assis tout seul ;
(e) On ne peut être assis à côté de soi-même ;
(f) Personne n'est assis auprès de plus de deux personnes.
2. Soit un domaine composé des personnes Z, B, C, D, G, on suppose que Z, B, C sont les seuls
hommes. Tout le monde aime tout le monde sauf Z et D qui se détestent. Proposer une valuation
de la relation voisin telle que les formules précédentes sont toutes vraies.
3. On se donne un domaine avec une seule personne Z , existe-t-il des valuations des prédicats qui
valident toutes les formules de la question 1 ? justier votre réponse.
Exercice 2. Soit L = {P, R, f, g, c} où les symboles de relation sont P unaire et R binaire et les
symboles de fonction sont f unaire, g binaire et c symbole de constante. Pour chacune des expressions
suivantes, déterminez s'il s'agit d'une formule de L ; ou pas et dans ce cas justiez.

(1) ∀(x, y), (2) α(x, y), (3) g(x, y) , (4) R(g(x, y)) , (5) P (R(x, y)) , (6) x =
g(x, y) , (7) R(f (x), g(y, c)) , (8) ∀xR(x, x) , (9) ∀x∃yR(x, x) , (10) ∃y(y = c ∧ P (y)) ,
(11) ∃x(P (f (x)) ∧ ∀yR(x, y)) , (12) (∃xP (f (x)) ∧ ∀yR(x, y)) , (13) ∀x∀xP (g(f (x), x)) , (14)
∀x(P (x) ⇒ ∃yR(x, y)).

Exercice 3. Symbole de la Chine éternelle, le panda est un animal dont le régime alimentaire est un
des plus spécialisés, ce qui n'est pas fait pour freiner sa dramatique extinction. Il se nourrit en eet
quasiment exclusivement de feuilles du bambou. Autant dire que pour le bambou, le panda n'apparaît
pas comme un bon gros nounours tout mignon, mais un terrible criminel contre l'humanité, sanguinaire
et sans pitié. Mais qui se soucie des angoisses du pauvre bambou... Traduire en LP1 les énoncés ci-après
en utilisant les 5 prédicats suivants :
M (x, y) : x mange y .
H(x) : x est un animal herbivore.
V (x) : x est un végétal.
B(x) x est un bambou.
P (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 mange aucun herbivore.
 4. Les pandas sont des herbivores qui ne consomment que des bambous.
Exercice 4. Soient
H(x) :x est un homme ;
F (x) : x est une femme ;
P (x) : x porte des pantalons.
C(x) : x a les cheveux longs.

1. Traduire en français les phrases suivantes :

(a) ¬(∃x(H(x) ∧ ∧C(x)))
(b) ∀x(P (x) ⇒ H(x))
(c) ∃x(H(x) ⇒ P (x))
2. Trouver un modèle avec par exemple 2 hommes et 2 femmes qui satisfait b et pas c.
3. Trouver un modèle qui satisfait a , b et c.
4. Traduire en formules les phrases suivantes :
(a) Il n'y a pas que les hommes qui portent des pantalons.
(b) Personne ne porte à la fois des pantalons et les cheveux longs
Exercice 5. Soit α la formule
∀x∃yP (x, y) ∨ R(x, x) ⇒ ∀yP (x, y) ∧ R(x, y)

1. Préciser les occurences libres et les occurences liées de α. Donner l'ensemble des variables libres
et l'ensemble des varibales liées.
2. α est elle satisable ? justier.
3. α est elle valide ? justier.
Exercice 6. Soit α la formule
∃xP (x, y) ⇒ (∀yP (x, y)) ∨ (∀xP (x, y))

et β la formule
∃xP (x, y)
1. Déterminer les occurences libres et les occurences liées des variables de la formule α ;
2. α est elle satisable ?
3. Donner un modèle pour α ;
4. On dit qu'une formule β est conséquence logique d'une formule α et on note ( α |= β ) si et
seulement si toute interprétation, toute valuation qui satisfait α satisfait aussi β
Peut on dire α |= β dans cet exercice ?