Autor Tema: Método de Resolución en Predicados

0 Usuarios y 1 Visitante están viendo este tema.

09 Julio, 2008, 11:02 am
Leído 1036 veces

skinboy

  • Aprendiz
  • Mensajes: 259
  • Karma: +0/-0
  • Sexo: Masculino
Ejercicio:

Determinar si la siguiente deducción es correcta, usando el método de Resolución

\(  \forall{}x\exists{}y([(¬P(x,a) \vee P(y,x)) \rightarrow{} (Q(y)\wedge ¬ P(y,x))]\wedge [Q(y) \rightarrow{} R(x)]) \rightarrow{} \exists{}x ¬(R(x)\rightarrow{} P(x,a)) \)

El método de Resolución se hacerlo en la Lógica Clásica Proposicional pero en la de Predicados lo veo muy complejo y hay que hacer una serie de pasos que no entiendo. A ser posible me gustaría que me lo explicaran de la forma más detallada posible para poder entenderlo bien y poder hacer otros ejercicios por mi cuenta.