Logique

TD6 : Logique des prédicats

Exercice 1
1. Prouvez la validité de la formule suivante :

𝑭: (∀𝒙 (𝑨(𝒙) ⟹ 𝑩(𝒙) ) ∧ ∀𝒙 (𝑩(𝒙) ⟹ 𝑪(𝒙) )) ⟹ ∀𝒙 (𝑨(𝒙) ⟹ 𝑪(𝒙) )

2. Soit un langage du premier ordre L = {P } où P est un symbole de prédicat d’arité 2.

Montrer à l’aide de la méthode de résolution que la formule suivante est valide.

G : ¬∃y · ∀z · (P (z, y) ⇔ (¬∃x · (P (z, x) ∧ P(x, z)))

Exercice 2

Montrer en utilisant le principe de résolution que les raisonnements R suivant est valide.

A1: ∀x · P (x) ⇒ Q(s(x))

A2: ∀x · Q(x) ⇒ P (s(x))
A3: P(a)
C: P (s(s(s(s(a)))))

Exercice 3
R et S sont deux prédicats d’arité 2 du langage des prédicats du 1er ordre. On considère les
deux formules suivantes :

F1: ∃x ∀y ( R(x,y) ⇒ S(x,y) )

F2: ∀x ∃y ( R(x,y) ⇒ S(x,y) )
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é ≤, celle de S est la relation divise au sens de la
division euclidienne définie sur les entiers.