Internet Encyclopedia of Science
LOGIC
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

                   • HOME
• ABOUT
• CATEGORIES
• COPYRIGHT
• NEWSLETTER

  



quantifier


In 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


Also on this site:

Encyclopedia of Alternative Energy & Sustainable Living
Encyclopedia of History




BACK TO TOP