A proclamation, announcement or preaching. / An assertion or affirmation. / (logic) The act of making something the subject or predicate of a proposition.

The quality or state of being predicable, or affirmable of something, or attributed to something.

Relating to predicates or predications.

plural of predicant

The condition of being predicative

(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

plural of predicative adjective

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