21/02/2020, 03:49:17 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Método de Resolución en Predicados  (Leído 981 veces)
0 Usuarios y 1 Visitante están viendo este tema.
skinboy
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 259



Ver Perfil
« : 09/07/2008, 06:02:24 »

Ejercicio:

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

[texx] \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))[/texx]

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.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!