A continuación veremos el siguiente predicato:
No country, that has been explored, is infected by dragons;
Unexplored countries are fascinating.
Donde llamaremos c como country, E como explored, I como infected by dragons y F como fascinating. Por lo tanto obtenemos la siguiente lógica predicativa:
Libro de referencia de la cual obtuve el problema:
Symbolic Logic por Lewis Carroll
"No country, that has been explored, is infected by dragons" sería \neg \exists x E(X) \rightarrow I(x). Aquí tienes el cuantificador equivocado.
ResponderEliminar"Unexplored countries are fascinating" sería \forall x \neg E(x) \rightarrow F(x), lo que tienes correctamente.
Van 9 pts.