first-order


adjective

logic quantifying only over individuals and not over predicates or clauses: first-order predicate calculus studies the logical properties of such quantification

Example sentences from the Web for first-order