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)
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 […]
- First-person shooter
noun 1. a type of video game in which the player assumes the field of vision of the protagonist, so that the game camera includes the character’s weapon, but the rest of the character model is not seen. Abbreviation: FPS. noun 1. a type of computer game in which the player aims and shoots at […]