Professional Documents
Culture Documents
TD 4
TD 4
Exercise 2
Soit S l’ensemble de fbf ci-dessous :
S = {P (a) , ∀xP (f (x)) ∨ ¬Q (f (x)) , Q (a)}
Pouvez-vous en donner trois modèles de Herbrand de S ? Lesquels ?
Exercise 3
Soit F la formule suivante : ∀x∃yP (x, y) dont l’interprétation voulue est : pour tout réel il existe un plus
grand ;
1. Donner la forme skolémisée de F .
2. Donner un modèle de F .
3. Donner un modèle de Herbrand de F .
Exercise 4
On considère la procédure SD suivante :
1. Soit la formule S = {P (x) , ¬P (a)}. Montrer en utilisant la procédure SD que S est insatisfaisable.
2. Soit la formule S = {P (a) , ¬P (x) ∨ Q (f (x)) , ¬Q (f (a))}. Montrer en utilisant la procédure SD que S
est insatisfaisable.
3. Soit la formule S = {P (x, f (x))}. Essayer d’applique la procédure SD sur S. Que remarquez-vous ?
page 1