negation#2 (n)

n06751572

type n
lex_filenum 10
def (logic) a proposition that is true if and only if another proposition is false
Outgoing links
Hypernym proposition
Domain of synset - TOPIC logic
Derivationally related form negation → negate
Incoming links
Member of this domain - TOPIC logic
Hyponym proposition
Derivationally related form negate → negation

Back to the index

Click for the XML entry