Lógica de primer orden

1. No todos los estudiantes toman Inteligencia Artificial y Sistemas Distribuidos

Ǝx ESTUDIANTE(X) →  ¬(TOMA(X,IA) ˄ TOMA(X,SD))

2. Solo un estudiante reprobó Inteligencia Artificial

∀x,y ESTUDIANTE(X) ˄ ESTUDIANTE(Y) ˄ REPROBO(X,IA) ˄ REPROBO(Y,IA) →  X=Y

3. Solo un estudiante reprobó tanto Inteligencia Artificial como Sistemas Distribuidos

∀x,y ESTUDIANTE(X) ˄ ESTUDIANTE(Y) ˄ REPROBO(X,IA) ˄ REPROBO(Y,IA) ˄ REPROBO(X,SD) ˄ REPROBO(Y,SD) →  X=Y

4. La mejor calificación en Inteligencia Artificial fue más alta que la primera calificación en Sistemas Distribuidos

∀x,y CALIFICACION(X,IA) ˄ CALIFICACION(Y,SD) ˄ ESMEJOREN(X,IA) → ¬ESMAYORQUE(Y,X)

5. Cualquier persona a quien le caigan mal los vegetarianos es lista

∀x PERSONA(X) ˄ ODIA(X,VEGETARIANOS) →  ES(X,LISTA)
6. Nadie quiere a un vegetariano listo
∀x VEGETARIANO(x) ˄ LISTO(x) →  ∃ y ¬QUIERE(y,x)

7. Existe una mujer que quiere a todos los hombres que no son vegetarianos
Ǝx,y MUJER(x) ˄ HOMBRE(y) →  (QUIERE(x,y) ⇔  ¬VEGETAL(y))

8. Existe un barbero en la ciudad que rasura a todos los hombres que no se rasuran solos.
Ǝx,y BARBERO(x) ˄ HOMBRENOSERASURA(y) →  RASURA (x,y)

9. Nadie quiere al profesor a menos que el profesor sea inteligente

∀x PROFESOR(X) ˄ QUERIDO(X,TODOS) →  ES(X,INTELIGENTE)

10. Los políticos pueden engañar a algunas personas todo el tiempo y pueden engañar a todas las personas algún tiempo pero no pueden engañar a todas las personas todo el tiempo

∀x,y PERSONA(X) ˄ ESENGAÑADAPOR(X,POLITICOS) ˄ PERSONA(Y) ˄ CONTINUAENGAÑADA(X,SIEMPRE) ˄ ESENGAÑADAPOR(Y,POLITICOS) ˄ ˥CONTINUAENGAÑADA(Y,SIEMPRE) → X=¬Y