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 SITE MAP COPYRIGHT ADVERTISE CONTACT entire Web this site 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 Transport Concepts & Designs (partner site) BACK TO TOP