| NOUN | cognition | predicate calculus, functional calculus | a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) |
|---|
| Meaning | A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions). | |
|---|---|---|
| Synonym | functional calculus | |
| Parts | quantification | A limitation imposed on the variables of a proposition (as by the quantifiers 'some' or 'all' or 'no') |
| Broader | symbolic logic, mathematical logic, formal logic | Any 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