# Predicate Calculus

**See:** Predicate Logic System.

## References

- (WordNet, 2009) ⇒ http://wordnetweb.princeton.edu/perl/webwn?s=predicate%20calculus
- S: (n) predicate calculus, functional calculus (a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions))

- http://en.wiktionary.org/wiki/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.