Sentido | Any logical system that abstracts the form / form of statements away from their content in order to establish abstract criteria of consistency and validity. |
---|
Sinónimos | lógica formal, lógica simbólica |
---|
Específico | cálculo proposicional, lógica proposicional | A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them |
---|
lógica difusa | A form of mathematical logic in which truth can assume a continuum of values between 0 and 1 |
General | lógica | A system of reasoning |
---|
Inglés | symbolic logic, mathematical logic, formal logic |
---|
Catalán | lògica matemàtica |
---|