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

Not higher-order.
(1995-03-06)

Tagged:

Read Also:

  • First-order logic

    language, logic The language describing the truth of mathematical formulas. Formulas describe properties of terms and have a truth value. The following are atomic formulas: True False p(t1,..tn) where t1,..,tn are terms and p is a predicate. If F1, F2 and F3 are formulas and v is a variable then the following are compound formulas: […]

  • First-papers

    plural noun, Informal. 1. an official declaration of intention filed by a resident alien desiring to become a U.S. citizen: not required by law after 1952.



  • First-past-the-post

    noun 1. (modifier) of or relating to a voting system in which a candidate may be elected by a simple majority rather than an absolute majority Compare proportional representation

  • First-person

    noun 1. the grammatical person used by a speaker in statements referring to himself or herself or to a group including himself or herself, as I and we in English. 2. a form in the first person. noun 1. a grammatical category of pronouns and verbs used by the speaker to refer to or talk […]



Disclaimer: First-order definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.