HyperDic: predicate_calculus

English > 1 sense of the expression predicate calculus:
NOUNcognitionpredicate calculus, functional calculusa system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
English > predicate calculus: 1 sense > noun 1, cognition
MeaningA system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).
Synonymfunctional calculus
PartsquantificationA limitation imposed on the variables of a proposition (as by the quantifiers 'some' or 'all' or 'no')
Broadersymbolic logic, mathematical logic, formal logicAny logical system that abstracts the form / form of statements away from their content in order to establish abstract criteria of consistency and validity

©2001-24 · HyperDic hyper-dictionary · Contact

English | Spanish | Catalan
Privacy | Robots

Valid XHTML 1.0 Strict