# predicate calculus

Also found in: Thesaurus, Acronyms, Encyclopedia, Wikipedia.

## predicate calculus

*n.*

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

American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

## predicate calculus

*n*

(Logic) 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 calculusCollins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

## func′tional cal′culus

*n.*

the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called

**predicate calculus.**[1930–35]

Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.

ThesaurusAntonymsRelated WordsSynonyms

**Legend:**Switch to new thesaurus

Noun | 1. | predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)formal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity quantification - a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no') |

Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.

Translations

**predikaattilogiikka**

**predikatni račun**

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, or visit the webmaster's page for free fun content.

Link to this page: