n06165147
| type | n |
| lex_filenum | 09 |
| def | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them |
| Outgoing links | |
| Hypernym | symbolic logic, mathematical logic, formal logic |
| Incoming links | |
| Hyponym | symbolic logic, mathematical logic, formal logic |
Click for the XML entry