18/01/2020, 00:13:16 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Lógica de predicados  (Leído 2489 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Rafael
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Mensajes: 82


Ver Perfil
« : 18/03/2007, 01:45:24 am »

Hola, necesito ayuda traduciendo a símbolos lógicos el razonamiento siguiente:

Todo aquel que que quiera a Jorge escogerá a Pedro para su partido.
Pedro no es amigo de nadie que sea amigo de Juan.
Luis no escogerá a nadie que no sea amigo de Carlos para su partido
Por tanto, si Carlos es amigo de Juan, entonces Luis no quiere a Jorge.

No entiendo!!
 :BangHead:

Gracias
En línea
LauLuna
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

España España

Mensajes: 541


Ver Perfil WWW
« Respuesta #1 : 17/05/2007, 13:39:33 pm »

Tienes que escoger constantes de individuo para representar a Jorge, Pedro, Juan, Luis y Carlos. Por ejemplo, 'a' para Jorge, 'b' para Pedro, etc.

Después necesitas letras de predicado para representar los predicados diádicos (o binarios) 'x quiere a y', 'x escoge a y para su partido', 'x es amigo de y'.
Por ejemplo, 'Pxy', 'Qxy', 'Rxy'.

Ahora tienes que recordar cómo se expresan las proposiciones universales en lógica de predicados. Vamos a formalizar la primera proposición; entiende que 'Ax' significa 'para todo x':

Ax (Pxa -> Qxb)

Esto es sólo una pista, pero es el método general; seguro que en tu libro de texto o en tus apuntes tienes una explicación completa. Ánimo que no es difícil.

Saludos


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!