TD4 : Logique des prédicats

Exercice 1
Ecrire en langage formule du (LP1) les phrases suivantes :

 Un homme marche.
 Tout homme marche.
 Aucun homme ne marche.
 Personne n’est parfait.
 Tout ce qui brille n'est pas or.
 Toutes les personnes qui entrent en voiture dans la faculté doivent
avoir une carte ou être accompagnées par un membre du personnel.
 Aucun étudiant n’a de carte.

Exercice 2
Parmi les formules ci-dessous laquelle est ouverte (justifiez) ?

 𝑭𝟏: ∀𝒚 ( (𝒑(𝒙) ∨ ∃𝒙 𝒑(𝒙)) ∧ 𝒒(𝒚))

 𝑭𝟐: ∀𝒙 ∀𝒚( (𝒑(𝒙) ∨ ∃𝒙 𝒑(𝒙)) ∧ 𝒒(𝒚))
 𝑭𝟑: ∃𝒙 ∀𝒚( (𝒑(𝒙) ∨ ∃𝒙 𝒑(𝒙)) ∧ 𝒒(𝒚))

Exercice 3

• Les variables x et y sont-elles libres dans la formule F ?

𝑭: ( ∀𝒙 ∃𝒚 𝑹(𝒇(𝒙), 𝒇(𝒚))) ∧ ( (∀𝒛 𝑹(𝒙, 𝒛))) ⟹ 𝑺(𝒙))
• Transformez la formule F précédente de manière à ce que variables liées et variables libres
(éventuelles) ne portent pas le même nom.
• Appliquer la substitution de t à la variable x dans F quand t est le terme f(z)

Exercice 4
Vérifions si les formules suivantes sont propres ou non ?

 F1 = x ( y p(x, y)  z r(y, z))

 F2= x p(x, y)  x ( r(y, x)  p(y, x) )
Exercice5
On considère un sous-ensemble du calcul des prédicats avec :

 a et b comme symboles de constantes,

 f comme symbole de fonction unaire,
 P comme symbole de prédicat binaire,

Soit i une interprétation de ce langage définie par son domaine D={1, 2} et par:

i[a] = 1; i[b] = 2; i[f(1)] = 2; i[f(2)] = 1; i[P(U, V)] = V si et seulement si U = 1.

Etablir la valeur de vérité des formules suivantes:

a) P(a,f(a))
b) P(b,f(b))
c) ∀X ∀Y P(X,Y)
d) ∀X ∀Y (P(X,Y) → P(f(X),f(Y)))
e) ∃X ∀Y (P(X,Y) → P(f(X),f(Y)))