A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them. Synonym: propositional calculus.
|
|
|
Words linked to "Propositional logic" : formal logic, propositional calculus, symbolic logic, mathematical logic |
Copyright © 2024 e-Free Translation.com |