Matemática => Lógica => Mensaje iniciado por: Rafael en 18/03/2007, 01:45:24



Título: Lógica de predicados
Publicado por: Rafael en 18/03/2007, 01:45:24
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


Título: Re: Lógica de predicados
Publicado por: LauLuna en 17/05/2007, 13:39:33
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