Topic Navigator
Noun Tree | Nouns Groups | Verb Groups | SearchParent Categories
¬
entity go
that which is perceived or known or inferred to have its own distinct existence (living or nonliving)
that which is perceived or known or inferred to have its own distinct existence (living or nonliving)
¬
abstraction, abstract entity go
a general concept formed by extracting common features from specific examples
a general concept formed by extracting common features from specific examples
¬
¬
¬
proposition
(logic) a statement that affirms or denies something and is either true or false
(logic) a statement that affirms or denies something and is either true or false
noun.communication
9 Subcategories
-
particular, particular proposition go
(logic) a proposition that asserts something about some (but not all) members of a class
-
universal, universal proposition go
(logic) a proposition that asserts something of all members of a class
-
negation go
(logic) a proposition that is true if and only if another proposition is false
-
converse go
a proposition obtained by conversion
-
lemma go
a subsidiary proposition that is assumed to be true in order to prove another proposition
-
theorem go
a proposition deducible from basic postulates
-
conclusion, ratiocination go
the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)
-
postulate, posit go
(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
-
axiom go
(logic) a proposition that is not susceptible of proof or disproof