Engelsk navneord: propositional logic | |||
1. | propositional logic (om erkendelse) a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them | ||
Termer med samme betydning (synonymer) | propositional calculus | ||
Mindre specifikke termer | formal logic, mathematical logic, symbolic logic | ||