Jaballah Mustapha

Exercice :

Considérons les énoncés suivants :

1. Tous les enfants d’un dragon peuvent voler

2. Archie a au moins un parent vert ou rose

3. Un dragon est heureux si tous ses enfants peuvent voler

4. Les dragons verts peuvent voler

5. Un dragon est vert s’il a au moins un parent vert ou rose

Formaliser les énoncés 1 à 5, puis mettre sous forme clausale la conjonction des
énoncés 3 à 5.

Les prédicats :

H(x) signifie « x est heureux »

P(x, y) signifie « x est le parent de y »

Vl(x) signifie « x peut voler »

Vr(x) signifie « x est vert »

R(x) signifie « x est rose ».

Formalisation :

1. ∀x∀yP(x, y) → Vl(y)

2. ∃xP(x,Archie) ∧ (Vl(x) ∨ R(x))

3 . ∀x(∀y(P(x, y) → Vl(y)) → H(x))

4. ∀xVr(x) → Vl(x)

5. ∀y((∃x(P(x, y) ∧ (Vr(x) ∨ R(x))) → Vr(y))

Mise sous forme clausale de la conjonction des énoncés de 3 à 5

∀x(∀y(P(x, y) → Vl(y)) → H(x)) ∧ ∀xVr(x) → Vl(x) ∧ ∀y((∃x(P(x, y) ∧

(Vr(x) ∨ R(x))) → Vr(y))

1
Jaballah Mustapha

On traite chaque énoncé seul puis on faire la réunion des différents ensembles de
formes clausales.

 Enoncé 3

∀x(∀y(P(x, y) → Vl(y)) → H(x))

Etape1 : mise sous forme prénexe

∀x(￢∀y(￢P(x, y) ∨ Vl(y)) ∨ H(x))

∀x(∃y￢ (￢P(x, y) ∨ Vl(y)) ∨ H(x))

∀x(∃y(P(x, y) ∧ ￢Vl(y)) ∨ H(x))

Etape2 : mise sous forme Skolem

Remplacement de y par f(x) on obtient :

∃f∀x ((P(x, f(x)) ∨ H(x)) ∧ (￢Vl(f(x))) ∨ H(x)))

Etape3 : mise sous forme standard de Skolem

La formule est sous la forme normale conjonctive après application de la loi de

Morgan

∃f∀x((P(x, f(x)) ∨ H(x)) ∧ (￢Vl(f(x)) ∨ H(x)))

Etape4 : mise sous forme clausale

{ P(x1, f(x1)) ∨ H(x1) ; ￢Vl(f(x2)) ∨ H(x2) }

 Enoncé 4

∀xVr(x) → Vl(x)

Etape1 : mise sous forme prénexe

￢∀xVr(x) ∨ Vl(x)

∃x￢Vr(x) ∨ Vl(x)

Etape2 : mise sous forme normale de Skolem

Déjà sous forme Skolem (pas de modification)

Etape3 : mise sous forme standard de Skolem

2
Jaballah Mustapha

Déjà sous forme standard de Skolem (pas de modification)

Etape4 : mise sous forme clausale

Il s’agit d’une seule clause

{ ￢Vr(x3) ∨ Vl(x3) }

 Enoncé 5

∀y((∃x(P(x, y) ∧ (Vr(x) ∨ R(x))) → Vr(y))

Etape1 : mise sous forme prénexe

∀y(￢ (∃x(P(x, y) ∧ (Vr(x) ∨ R(x))) ∨ Vr(y))

∀y((∀x￢ (P(x, y) ∧ (Vr(x) ∨ R(x))) ∨ Vr(y))

Pour simplifier la transformation :

Soit p(x,y)=a

Vr(x)=b

R(x)=c

Vr(y)=d

∀y((∀x￢ (a ∧ (b ∨ c)) ∨ d)

∀y((∀x (￢a ∨ (￢b ∧ ￢c)) ∨ d)

∀y ∀x ((￢a∨ ￢b) ∧ ( ￢a ∨ ￢c) ) ∨d

∀y ∀x (￢a∨ ￢b ∨d) ∧ ( ￢a ∨ ￢c ∨d)

On obtient donc :

∀y ∀x (￢p(x,y)∨ ￢Vr(x) ∨ Vr(y)) ∧( ￢p(x,y) ∨￢ R(x) ∨ Vr(y))

Etape2 : mise sous forme normale de Skolem

Déjà sous forme Skolem (pas de modification)

Etape3 : mise sous forme standard de Skolem

3
Jaballah Mustapha

Déjà sous forme standard de Skolem (pas de modification)

Etape4 : mise sous forme clausale

{ ￢p(x4,y1)∨ ￢Vr(x4) ∨ Vr(y1)  ; ￢p(x5,y2) ∨￢ R(x5) ∨ Vr(y2) }

La forme clausale de la conjonction des énoncés de 3 à 5 est l’ensemble

suivant :

{ P(x1, f(x1)) ∨ H(x1) ; ￢Vl(f(x2)) ∨ H(x2) ; ￢Vr(x3) ∨ Vl(x3)

; ￢p(x4,y1)∨ ￢Vr(x4) ∨ Vr(y1)  ; ￢p(x5,y2) ∨￢ R(x5) ∨ Vr(y2) }