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:  km#FOL  km#HOL
  url:  http://en.wikipedia.org/wiki/Predicate_logic
  >part of:  km#mathematical_logic__symbolic_logic__metamathematics__metamathematic
     >part of:  km#formal_logic
        >part of:  #logic.philosophy  the branch of philosophy that analyzes inference
           >part of:  #philosophy  the rational investigation of questions about existence and knowledge and ethics
     >part of:  km#abstract_algebra

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