NOM | cognition | lògica proposicional | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them |
---|
Sentit | A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them. | |
---|---|---|
General | lògica matemàtica | Any logical system that abstracts the form / form of statements away from their content in order to establish abstract criteria of consistency and validity |
Anglès | propositional logic, propositional calculus | |
Espanyol | cálculo proposicional, lógica proposicional |
©2001-24 · HyperDic hyper-dictionary · Contact