Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of PREDICATE CALCULUS

 
WordNet Dictionary
 
 Definition: 
[n]  a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
 
 Synonyms: functional calculus
 
 See Also: formal logic, mathematical logic, quantification, symbolic logic

 

 

Computing Dictionary
 
 Definition: 

predicate logic

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY