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