(logic) a statement that affirms or denies something and is either true or false
<noun.communication> freq. cnt.: 6 freq. cnt.: 6
<noun.communication> freq. cnt.: 6 freq. cnt.: 6
| proposition |
|
semantic pointers
domain of synset (topic)
hypernym
hyponym
particular, particular proposition
universal, universal proposition
negation
converse
lemma
theorem
conclusion, ratiocination
postulate, posit
axiom
part meronym