Predicate Logic
3 dictionary results for: Predicate logic
Dictionary.com Unabridged (v 1.1) - Cite This Source - Share This
functional calculus
–noun
| 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. |
]
Dictionary.com Unabridged (v 1.1)
Based on the Random House Unabridged Dictionary, © Random House, Inc. 2006.
Based on the Random House Unabridged Dictionary, © Random House, Inc. 2006.
Dictionary.com Unabridged (v 1.1)
Based on the Random House Unabridged Dictionary, © Random House, Inc. 2006.
Based on the Random House Unabridged Dictionary, © Random House, Inc. 2006.
Free On-line Dictionary of Computing - Cite This Source - Share This
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.
(2002-05-21)
The Free On-line Dictionary of Computing, © 1993-2007 Denis Howe
Share This:
Copyright © 2008, Dictionary.com, LLC. All rights reserved.