## quantifierIn symbolic logic, the universal quantifier ∀ indicates
"for every" or "for all." For example, ∀ x A, p(x)
means for all x belonging to A, the proposition p
is valid. The existential quantifier ∃ indicates "there exists." So,
for instance, ∃ x A, p(x) means there exists at
least one x, belonging in A, for which the proposition
p(x) is valid. ## Related category• LOGIC | |||||

Home • About • Copyright © The Worlds of David Darling • Encyclopedia of Alternative Energy • Contact |