Esperaba que alguien con más experiencia que yo pudiera echarle un vistazo a mi trabajo y ver si hay algún error.
La cuestión es la siguiente:
Dominio: Todas las personas de una universidad
S(x): x es un estudiante
F(x): x es un miembro de la facultad
A(x,y): x ha hecho una pregunta a y.
1) Algún estudiante no ha hecho ninguna pregunta a ningún miembro del profesorado.
$x(S(x)\landy (F(y) \land \lnot A(x,y))$
Basándome en el inglés, parece que se lee correctamente, pero a menudo pienso que tengo razón y acabo equivocándome.
2) Hay al menos dos estudiantes que han hecho una pregunta a cada miembro del profesorado.
$xy((S(x) \land S(y) \land (x \neq y)) \land z(F(z) \land A(x,z) \land A(y,z)))$
X es un estudiante, Y es un estudiante, X no es Y Y para todos los fac. X e Y han hecho preguntas.
A mí me parecen bien, ¿qué opinas?
