first-order


adjective

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

Leave a Reply

Your email address will not be published. Required fields are marked *

53 queries 1.218