L2 Informatique

TD 4 Logique de base

19 mars 2018

Syntaxe de la Logique des Prédicats

Exercice 1
Traduire les énoncés suivants en calcul des prédicats du premier ordre, en
utilisant les symboles de prédicat suivants :
chat(x) : x est un chat
chien(x) : x est un chien
aime(x, y) : x aime y
connait(x, y) : x connaît y
mechant(x) : x est méchant
1. Il existe un chien méchant.
2. Il n'existe pas de chien méchant.
3. Tous les chiens sont méchants.
4. Seuls les chiens sont méchants.
5. Il existe un chat qui aime toutes les chiens.
6. Chaque chat connaît les chiens qui ne l'aiment pas.
7. Les personnes qui aiment les chats, ne sont pas méchantes.
8. Chaque personne aime quelqu'un et personne n'aime tout le monde, ou
bien quelqu'un aime tout le monde et quelqu'un n'aime personne.
(Dans cette question, on suppose que le domaine de discours implicite
est celui des personnes.)
9. Il y a des chiens qui n'aiment que les chats.

Exercice 2
Soit L un langage du calcul des prédicats où la signature est F = {a, f, g}
et R = {P, Q, R}.
Ici : P et Q sont deux symboles de prédicat binaires, R est un symbole
de prédicat unaire, f est un symbole de fonction unaire, a est un symbole de
fonction 0-aire, et enn g est un symbole de fonction ternaire.

1
 Soit la formule du calcul des prédicats suivante (écrite en utilisant les conven-
tions du cours) :
A = ∃x P (x, f (y)) ∨ ¬∀y Q(y, g(a, z, f (z)))

1. Quelles sont les constantes de L ?

2. Donner les variables libres et les variables liées de A.
3. Donner tous les termes de A. Préciser quels termes sont clos.
4. A est-elle close ?
Mêmes questions pour :
B = R(x) ∨ (∃x ∀y (P (f (x), z) ∧ R(a)) ∧ ∀x Q(x, g(x, z, x)))

C = ∀x ∃y(P (f (y), g(a, x, y)) ∧ R(g(a, x, z))) ∨ ∃z Q(f (x), z)

Exercice 3
Soit X = x1 , x2 , . . . l'ensemble des variables et soit A la formule
∃x1 ((∃x2 R (x2 , x1 )) ∧ (P (f (x2 ))))

1. Le terme f (x2 ) est-il libre pour x1 par rapport à la sous-formule

B = (∃x2 r (x2 , x1 )) ∧ (p (f (x2 )))

de A ?
Le terme f (a), où a est une constante, est-il libre pour x1 par rapport à
B?
Le terme f (f (x1 )) est-il libre pour x1 par rapport à B ?
2. Soit L le langage dont la signature ne comporte que les symboles de A
et soit T (L) l'ensemble de ses termes. Indiquer les sous-formules de A.