(abbrev. LPC), or first order predicate calculus, n. a formalization of predicate calculus in which quantification is only over individuals and not over classes or predicates.