Words starting with predicatecalc
Maybe these words will be useful:
- predicate — to proclaim; declare; affirm; assert.
- predicate adjective — an adjective used in the predicate, especially with a copulative verb and attributive to the subject, as in He is dead, or attributive to the direct object, as in It made him sick.
- predicate calculus — predicate logic
- predicate nominative — (in Latin, Greek, and certain other languages) a predicate noun or adjective in the nominative case.
- predicate noun — 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 — objective complement.
- predicated — to proclaim; declare; affirm; assert.
- predicate logic — (logic) (Or "predicate calculus") An extension of propositional logic with separate symbols for predicates, subjects, and quantifiers. For example, where propositional logic might assign a single symbol P to the proposition "All men are mortal", predicate logic can define the predicate M(x) which asserts that the subject, x, is mortal and bind x with the universal quantifier ("For all"): All x . M(x) Higher-order predicate logic allows predicates to be the subjects of other predicates.