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
