Two fundamental kinds of quantification in predicate
logic are universal quantification and existential quantification. The traditional symbol for the universal
quantifier "all" is "?", a rotated letter "A", and for the existential
quantifier "exists" is "?", a rotated letter "E".
read more >>