Dictionary: A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z


(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.


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.