first-order

Meanings

1. 1
   adj

   belonging to the first level, degree, or order; in logic, quantifying over individuals rather than predicates

   The course introduces first-order logic after propositional logic.

Compound of first + order.

Topics