Predicate-calculus
noun, Logic.
1.
functional calculus.
predicate calculus
noun
1.
the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals Also called functional calculus See also propositional calculus
Read Also:
- Predicated
verb (used with object), predicated, predicating. 1. to proclaim; declare; affirm; assert. 2. Logic. to affirm or assert (something) of the subject of a proposition. to make (a term) the predicate of such a proposition. 3. to connote; imply: His retraction predicates a change of attitude. 4. to found or derive (a statement, action, etc.); […]
- Predicate-nominative
noun 1. (in Latin, Greek, and certain other languages) a predicate noun or adjective in the nominative case.
- Predicate-noun
noun, Grammar. 1. a noun used in the predicate with a copulative verb or a factitive verb and having the same referent as the subject of the copulative verb or the direct object of the factitive verb, as in She is the mayor or They elected her mayor.
- Predicate-objective
noun, Grammar. 1. objective complement.
- Predication
verb (used with object), predicated, predicating. 1. to proclaim; declare; affirm; assert. 2. Logic. to affirm or assert (something) of the subject of a proposition. to make (a term) the predicate of such a proposition. 3. to connote; imply: His retraction predicates a change of attitude. 4. to found or derive (a statement, action, etc.); […]