Ayuda con logica de predicados y especificacion universal?

Question

Necesito ayuda traduciendo a simbolos logicos el siguiente razonamiento:

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.

Gracias...

Answer 1

mmmm como era esto¿?
todo aquel amigo de Jorge = p
escogera a Pedro para su partido = q
p ---> q

aquel que sea amigo de Juan = r
q ---> 'r

'r = no r

amigos de carlos = s (porque doble negación)

Luis = l

l ---> s

p--->q
q--->'r
l ---> s
______

??????

estooooooo no me acuerdo :-(

pero intentare hacerlo por mi deduccion de emergencia, vamos la de toda la vida :b

Es cierto Luis no quiere a Jorge porque este es amigo de Pedro pero Pedro no es amigo de Juan y por tanto no de Carlos y Luis

Asi que jugaran Jorge y Pedro contra Luis, Carlos y Juan