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