is it true to state: $$\forall \implies \exists $$
If yes, why does this statement is neither mentioned in textbooks neither on the internet. I could not find this statement on a single wikipedia page related to quantifiers or a regular course about logic.
I only found a single place on the internet that mentions it : Does existential quantifier include universal quantifier? But the reply in that page doesn't prove it, only saying "according to standard semantics".