propositional_calculus
has definitions from the fields of mathematics,logic
|
|
1 |
[ noun ] (mathematics,logic) a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Synonyms Related terms |
* |
|