NOUN | cognition | propositional logic, propositional calculus | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them |
---|
Meaning | A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them. | |
---|---|---|
Synonym | propositional calculus | |
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 |
Spanish | cálculo proposicional, lógica proposicional | |
Catalan | lògica proposicional |
©2001-24 · HyperDic hyper-dictionary · Contact