# Can a domain with universal quantification also be considered to have existential quantification?

If the predicate is true for all the domain (universal quantification), could it also be considered true for some of the domain (existential quantification)?

Similar to a subset within a set?

Or since 'some' implies there must also be false values as well, are these considered exclusive?

e.g.

forall(x)P(x) then exist(x)P(x)?

thanks!

-
Can you please clarify your question? It's not very clear what you are asking. –  Isaac Solomon Sep 16 '12 at 20:33
Edited for clarity, let me know if more is needed, thanks! –  atlas1 Sep 16 '12 at 21:04

1. In standard first-order logic $\forall xFx$ does entail $\exists xFx$, but this is because we conventionally assume the domain of quantification is non-empty. There is an interesting history behind this convention, and it has some minor advantages. But it is easy enough to set up systems of first-order logic which allow for empty domains (e.g. as presented in Wilfrid Hodges's much used and much admired introductory book Logic), and then the entailment fails.
2. It is notable that even with the standard convention, restricted 'all' does not entail the corresponding restricted 'some': $\forall x(Fx \to Gx)$ does not entail $\exists x (Fx \wedge Gx)$.