plural of predicative adverbial

(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. / (logic) First-order logic.

(logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.

(grammar) A noun used in the predicate of a sentence with a copulative verb or a factitive verb and that refers to the subject of the copulative verb or the direct object of the factitive verb. For example "He is a fireman" or "They made him chief".

plural of predicate noun

plural of predicate logic

(logic) The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters.

(linguistics) A word composed of two or more stems used as a predicate (word indicating sentence or predication is a statement that may be true or false). in English, it may or may not have a space or hyphen.

plural of monadic predicate logic

plural of compound predicate word