proof (n)

n06647614

type n
lex_filenum 10
def a formal series of statements showing that if one thing is true something else necessarily follows from it
Outgoing links
Hypernym argument, statement
Domain of synset - TOPIC logic; mathematics, math, maths
Hyponym mathematical proof; logical proof; demonstration, monstrance
Incoming links
Member of this domain - TOPIC mathematics, math, maths; logic
Hypernym mathematical proof; logical proof; demonstration, monstrance
Hyponym argument, statement

Back to the index

Click for the XML entry