Associations to the word «Predicate»

PREDICATE, noun. (grammar) The part of the sentence (or clause) which states something about the subject or the object of the sentence.

PREDICATE, noun. (logic) A term of a statement, where the statement may be true or false depending on whether the thing referred to by the values of the statement's variables has the property signified by that (predicative) term.

PREDICATE, noun. (computing) An operator or function that returns either true or false.

PREDICATE, verb. (transitive) To proclaim, to announce or assert publicly.

PREDICATE, verb. (transitive) (logic) To state, assert as an attribute or quality of something.

PREDICATE, verb. (transitive) To suppose, assume; to infer.

PREDICATE, verb. (transitive) (originally US) To base (on); to assert on the grounds of.

PREDICATE, verb. To make a term (or expression) the predicate of a statement.

PREDICATE CALCULUS, noun. (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.

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

PREDICATE LOGIC, noun. (logic) First-order logic.

PREDICATE, noun. (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula; "`Socrates is a man' predicates manhood of Socrates".

PREDICATE, noun. One of the two main constituents of a sentence; the predicate contains the verb and its complements.

PREDICATE, verb. Make the (grammatical) predicate in a proposition; "The predicate `dog' is predicated of the subject `Fido' in the sentence `Fido is a dog'".

PREDICATE, verb. Affirm or declare as an attribute or quality of; "The speech predicated the fitness of the candidate to be President".

PREDICATE, verb. Involve as a necessary condition of consequence; as in logic; "solving the problem is predicated on understanding it well".