Consider the following statement about $\mathbb{N}$.
$$\alpha: \forall \ prime \ p, \exists \ prime \ p' (p'<p)$$
This is false.
Now, suppose a set of objects $\psi$ is empty. Now, consider the followings statement.
$$\forall A\in \psi \ \alpha$$
Is this true? Why or why not?
More generally, does any false statement combined with a quantifier which ranges over an empty set of objects produces a true statement?
I wonder, what relation does quantifier has with the false statement?
I have some experience with the syntax and semantics of first-order logic, slightly above the beginner level. So, it would really help, if you could explain in simplest possible manner.