another name for first mate
the member of an aircraft crew who is second in command to the captain
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)
- 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: […]
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.
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