Noun

• 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