Élimination des (il existe) et des conjonctions

[Alexandre Huot]

Bonjour, 

Je me demandais, lorsque j'ai quelque chose comme p(f1(x)) AND q(f1(x)). Quand je les sépare en deux lignes et que je normalise les variables. Est-ce que je doit renommé la fonction de skolem pour quelque chose du genre:

p(f1(x1))

q(f2(x2))

ou je devrais avoir quelque chose comme ca

p(f1(x1))

q(f1(x2))

Merci

[Hugo Larochelle]

La fonction de skolem ne doit pas changer de nom! Donc tu aurais:

p(f1(x1))

q(f1(x2))

Il y a seulement les variables que l'on renomme.

Hugo

2013/6/9 Alexandre Huot <alexh...@gmail.com>

--
Vous recevez ce message, car vous êtes abonné au groupe Google Groupes IFT 615 E2013.
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse ift-615-e201...@googlegroups.com.
Pour plus d'options, visitez le site https://groups.google.com/groups/opt_out .