WordNet Search - 3.1

Key: "S:" = Show Synset (semantic) relations, "W:" = Show Word (lexical) relations

Display options for sense: (gloss) "an example sentence"

- S: (n) particular,
**particular proposition**((logic) a proposition that asserts something about some (but not all) members of a class) *domain category**direct hypernym*/*inherited hypernym*/**sister term**- S: (n) proposition ((logic) a statement that affirms or denies something and is either true or false)
- S: (n) particular,
**particular proposition**((logic) a proposition that asserts something about some (but not all) members of a class) - S: (n) universal, universal proposition ((logic) a proposition that asserts something of all members of a class)
- S: (n) negation ((logic) a proposition that is true if and only if another proposition is false)
- S: (n) converse (a proposition obtained by conversion)
- S: (n) lemma (a subsidiary proposition that is assumed to be true in order to prove another proposition)
- S: (n) theorem (a proposition deducible from basic postulates)
- S: (n) conclusion, ratiocination (the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism))
- S: (n) postulate, posit ((logic) a proposition that is accepted as true in order to provide a basis for logical reasoning)
- S: (n) axiom ((logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident)
*antonym*