proposition (n)

n06750804

type n
lex_filenum 10
def (logic) a statement that affirms or denies something and is either true or false
Outgoing links
Hypernym statement
Domain of synset - TOPIC logic
Hyponym particular, particular proposition; universal, universal proposition; negation; converse; lemma; theorem; conclusion, ratiocination; postulate, posit; axiom
Part meronym term
Incoming links
Member of this domain - TOPIC logic
Hyponym statement
Hypernym particular, particular proposition; universal, universal proposition; negation; converse; lemma; theorem; conclusion, ratiocination; postulate, posit; axiom
Part holonym term

Back to the index

Click for the XML entry