A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them. Synonym: propositional logic.
![]() |
![]() |
![]() | ![]() | ![]() | |||
|
|
|
![]() |
Words linked to "Propositional calculus" : formal logic, mathematical logic, symbolic logic |
Copyright © 2025 Free Translator.org |