n04785414
| type | n |
| lex_filenum | 07 |
| def | (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system |
| Outgoing links | |
| Hypernym | logicality, logicalness |
| Domain of synset - TOPIC | logic |
| Incoming links | |
| Hyponym | logicality, logicalness |
| Member of this domain - TOPIC | logic |
Click for the XML entry