#proposition  (logic) a statement that affirms or denies something and is either true or false
  supertype:  #statement  a message that is stated or declared; a communication (oral or written) setting forth particulars or facts etc; "according to his statement he was in London on that day"
  subtype:  #converse  #lemma  #theorem  #conclusion.proposition  #postulate  #axiom
  part:  #term.grammatical_constituent  one of the substantive phrases in a logical proposition; "the major term of a syllogism must occur twice"

No statement uses or specializes #proposition; click here to add one.