Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: Rafael en 18 Marzo, 2007, 05:45 am

Título: Lógica de predicados
Publicado por: Rafael en 18 Marzo, 2007, 05:45 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
Título: Re: Lógica de predicados
Publicado por: LauLuna en 17 Mayo, 2007, 06:39 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