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

(grammar) A term that may sometimes be used to describe the case marking a predicative nominative (a noun that renames the subject often following a linking verb), or for the adjective that agrees with it (predicative adjective).

plural of predicative case

(grammar) An adverbial that is congruent with the subject of the sentence, present for example in Finnish.

(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 compound predicate word

(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

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