predicate logic

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.
Also called predicate calculus, predicate logic.


Origin:
1930–35

Dictionary.com Unabridged

predicate calculus

noun Logic.
Also called predicate logic.


Origin:
1945–50

Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source Link To Predicate logic
Collins
World English Dictionary
functional calculus
 
n
another name for predicate calculus

predicate calculus
 
n
See also propositional calculus Also called: functional calculus 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

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
FOLDOC
Computing Dictionary

predicate logic definition

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, © Denis Howe 2010 http://foldoc.org
Cite This Source
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT

;