Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: Antoniio en 01 Noviembre, 2016, 02:03 am

Título: Cómo formalizar en LPO
Publicado por: Antoniio en 01 Noviembre, 2016, 02:03 am
Hola, buenas tardes. Quisiera saber cómo formalizo en "LPO" (lenguaje de primer orden) los siguientes ejemplos:

1) "Algunos estudiantes cursan inglés y lógica y todos cursan álgebra"
2) "No todo el mundo es vegetariano y todo el mundo ama a alguien"
3) "A nadie le gustan los profesores que exigen mucha tarea a menos que todos los estudiantes sean aplicados"

Debo realizar 10, pero creo que si entiendo cómo hacer esos podré hacer el resto por mi cuenta, gracias de antemano !!
Saludos.

EDITO:
Ya pude hacerlos, saludos !!