Individual km#predicate_logic__predicatelogic__predicate_calculus  permits the formulation of quantified statements such as "there is at least one X such that..." or "for any X, it is the case that...", where X is an element of a set called the domain of discourse
  >part of:  mathematical_logic__symbolic_logic__metamathematics__metamathematic
  url:  http://en.wikipedia.org/wiki/Predicate_logic
  >part:  FOL__first-order_logic__firstorderlogic__first-order_predicate_calculus__predicate_logic__predicatelogic  FOL is distinguished from HOL in that it does not allow statements such as "for every property, it is the case that..." or "there exists a set of objects such that..."; it is a stronger theory than sentential logic, but a weaker theory than arithmetic, set theory, or second-order logic; it is strong enough to formalize all of set theory and thereby virtually all of mathematics
     >part:  PCEF_logic__logic_of_positive_conjunctive_existential_formulas
  >part:  HOL__higher-order_logic  based on a hierarchy of types

No statement uses or specializes predicate_logic; click here to add one.