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!