Go to MSN Homeencarta®
Dictionary
Find
in
Dictionary
Thesaurus
Translations
ABCDEFGHIJKLMNOPQRSTUVWXYZ
Click to move up the list of words
preconscious
precontract
precritical
precursor
precursory
predacious
predate
predation
predator
predatory
predatory pricing
predecease
predecessor
predelinquent
predella
predestinarian
predestinate
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