Search "predicate calculus" in:
Browse words next to:
|
Flash Player Required
The Adobe Flash Player is required in order to view this content. You can get it here: predicate calculusOne entry found. Main Entry: predicate calculus Function: noun Date: 1950 : the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives —called also functional calculus — compare propositional calculus 
Learn more about "predicate calculus"
Learn more about
"predicate calculus" and related topics at
Britannica.com
|
