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
¬
logical relation
a relation between propositions
a relation between propositions
noun.relation
6 Subcategories
-
contradictory go
two propositions are contradictories if both cannot be true (or both cannot be false) at the same time
-
contrary go
a logical relation such that two propositions are contraries if both cannot be true but both can be false
-
transitivity go
(logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and third
-
reflexivity, reflexiveness go
(logic and mathematics) a relation such that it holds between an element and itself
-
modality, mode go
a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
-
implication, logical implication, conditional relation go
a logical relation between propositions p and q of the form `if p then q'