first-order


Also found in: Encyclopedia, Wikipedia.

first-order

adj
(Logic) logic quantifying only over individuals and not over predicates or clauses: first-order predicate calculus studies the logical properties of such quantification
References in periodicals archive ?
Unfortunately, given the assumptions we have made, supposing that 'the proposition that first-order logic is undecidable' and 'that first-order logic is undecidable' make different contributions to the propositions expressed by (7a) and (7b) (respectively) won't by itself happily explain how they can differ in truth value.
Begin with a standard, first-order language whose logical terminology is {V, &, [similar to], [exists], [for every]}.
First-order change, as applied to management of people and organizations, is change introduced into a system in order to regain stability.
Scientists believe that the first-order cycle in particular was caused by the changes in spreading rates associated with the formation and breakup of the supercontinent Pangaea.
The authors cover traditional first-order differential equations, geometrical and numerical methods for first-order equations, elements of higher-order linear equations, and a wide variety of other related subjects.
He covers first-order differential equations, second-order partial differential equations, Laplace equations, heat equations, wave equations, and first-order differential systems.
In this one-semester textbook, Zill (Loyola Marymount University) introduces first-order and higher-order differential equations, series solutions of linear equations, the Laplace transform, systems of linear first-order differential equations, and numerical solutions of ordinary differential equations.
In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the other.
They report the first structural evidence for a first-order vortex solid-liquid transition associated with the peak effect.
His work is based on directly solving the steady state diffusion-oxidation equation using concentration as the primary unknown and assuming a first-order oxidation reaction.
First-order and second-order results give different and informative pictures of data dynamics.