Go to MSN Homeencarta®
Dictionary
Find
in
Dictionary
Thesaurus
Translations
ABCDEFGHIJKLMNOPQRSTUVWXYZ
Click to move up the list of words
predestinate
predestination
predestine
predetermine
predeterminer
predicable
predicament
predicate
predicate calculus
predicative
predict
predictable
prediction
predictive
predictive text entry
predigest
predilection
Click to move down the list of words
Also available:

World English Dictionary
Dictionnaire Français

predicate calculus
pred·i·cate cal·cu·lus


noun 
Definition:
 
branch of symbolic logic: the branch of symbolic logic that uses symbols to explore relationships between and within propositions
Encarta® World English Dictionary [North American Edition] © & (P)2009 Microsoft Corporation. All rights reserved. Developed for Microsoft by Bloomsbury Publishing Plc.
Advertisement
© 2009 Microsoft