Exercice 4 [4pt] Utiliser la méthode de résolution pour prouver ou infirmer les affirmations suivantes :

{p⇒ q.q= r.pv¬r} = p^q^r. 2: {p⇒ q.q⇒r.pv¬r} = (p^q^r) V (~p ^¬q^¬r). Corrige ca en tant qu'etudiant
de master

Exercice 4 [4pt]

Utiliser la méthode de résolution pour prouver ou infirmer les affirmations suivantes :

1. {p⇒q.q=r.pv¬r} = p^q^r.

2. {p⇒q.q⇒r.pv¬r} = (p^q^r) V (~p ^¬q^¬r).

SOLUTION
1. On utilise la méthode de résolution pour infirmer ou prouver cette équation :

{p⇒q.q=r.pv¬r} = p^q^r

⇔ {¬p∨q.q=r.pv¬r} = p^q^r ⇔ {¬p∨q.q=r} = p^q^r ∧ ¬r ⇔ {¬p∨q.q=r} = (p∧q∧¬r)

La dernière ligne ne peut être satisfaite que si p, q et r sont tous vrais, ce qui prouve l'affirmation.

2. On utilise la méthode de résolution pour infirmer ou prouver cette équation :

{p⇒q.q⇒r.pv¬r} = (p^q^r) V (~p ^¬q^¬r)

⇔ {¬p∨q.¬q∨r.pv¬r} = (p^q^r) V (~p ^¬q^¬r)

⇔ {¬p∨q.¬q∨r} = (p∧q∧r) V (~p ^¬q^¬r) V r

En simplifiant davantage, on obtient :

⇔ {¬p∨q.¬q∨r} = (p∧q∧r) V (~p ^¬q)

La dernière ligne ne peut être satisfaite que si p est faux, q est vrai, et r est vrai. Par conséquent, nous
pouvons infirmer cette affirmation.

Exercice 5: Soient les formules suivantes : [4,5pts]

A1: VxVуVz ((P(x) AQ(y)) R (x,y,z))

A2: (VX-P(x)) Vxyz (Q(x,y) - R(x,y,z))

A3: 3x (3y (z Q(x,y,z) P(x,y)) vyz P(y,z))

Donner pour chacune des formules A1, A2 et A3 : la forme prenexe et la forme de skolem.

SOLUTION
Pour la formule A1:

- La forme prénexe de A1 est :

Vx Vу Vz [(P(x) AQ(y) v R(x,y,z))]

- La forme de Skolem de A1 est :

Vx Vу [(P(x) AQ(y) v R(x,y,f(x,y)))]

Pour la formule A2 :

- La forme prénexe de A2 est :

Vx (-P(x)) Vxyz [(Q(x,y) R(x,y,z))]

- La forme de Skolem de A2 est :

Vxyz [(Q(c,y) R(c,y,z))], où c est une constante de Skolem.

Pour la formule A3 :

- La forme prénexe de A3 est :

3x 3y [(3z (Q(x,y,z) P(x,y)) v 3z (P(y,z)))]

- La forme de Skolem de A3 est :

[(Q(c1,c2,c3) P(c1,c2)) v P(c2,c3)], où c1, c2, et c3 sont des constantes de Skolem.