Advertisement
Advertisement
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
Advertisement
Advertisement
Advertisement
Advertisement
Browse