I am really confused with validity in First Order Logic. Which is the difference between:
$(\exists x)Fx$ being valid and $(\forall x)Fx$ being valid? Does the second one imply the first one?
Any examples on the theory of the reals? For instance, the example $(\forall x)[(\exists y)(x>y)]$. It is true. But what about its satisfiability and validity?