# Predicate-calculus meaning

The branch of symbolic logic that deals with relations between propositions and with their internal structure, especially the relation between subject and predicate.

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.

noun

Advertisement