| NOMBRE | cognition | lógica proposicional, cálculo proposicional | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them |
|---|
| Sentido | A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them. | |
|---|---|---|
| Sinónimo | cálculo proposicional | |
| General | lógica formal, lógica matemática, lógica simbólica | Any logical system that abstracts the form / form of statements away from their content in order to establish abstract criteria of consistency and validity |
| Inglés | propositional logic, propositional calculus | |
| Catalán | lògica proposicional | |
©2001-24 · HyperDic hyper-dictionary · Contact
English |
Spanish |
Catalan
Privacy |
Robots