|
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 |
| * |
|