Ejercicios de lógica de primer orden

Ejercicios de lógica de primer orden

No todos los estudiantes toman Inteligencia Artificial y Sistemas Distribuidos.

Ǝx Estudiante( x ) => ~[Toma(x, IA) ^ Toma(x, SD)]

Sólo un estudiante reprobó Inteligencia Artificial.

∀x,y Estudiante( x ) ^ Estudiante( y ) ^ Reprobar(x, IA) ^ Reprobar(y, IA) <==> x = y

Sólo un estudiante reprobó tanto Inteligencia Artificial como Sistemas Distribuidos.

∀x,y Estudiante( x ) ^ Estudiante( y ) ^ Reprobar(x, IA) ^ Reprobar(y, IA) ^ Reprobar(x, SD) ^ Reprobar(y, SD) <==> x = y

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

Calificacionmasalta(mejorcalificacion(AI), primeracalificacion(SD))

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

∀x,y CaerMal(x, y) ^ Vegetariano( y ) <==> Lista( x )

Nadie quiere a un vegetariano listo.

∀x,y vegetariano(y) ∧ listo(y) => desagrada(x,y)

Existe una mujer que quiere a todos los hombres que no son vegetarianos.

∀y  ¬ vegetariano(y) ∧ hombre (y) => ∃x mujer(x) ^ quiere(x,y)

Existe un barbero en la ciudad que rasura a todos los hombres que no se rasuran solos.

∀y  ¬ inexpertorasurador(y) ∧ hombre (y) => ∃x barbero(x) ^ rasura (x,y)

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

∀y  profesor(y) ∧ ¬ listo(y) => ¬ ∃x quiere(x,y)