s/n13783038

Information
has gloss	(noun) a relation between propositions logical relation
lexicalization	eng: logical relation
subclass of	(noun) an abstraction belonging to or characteristic of two entities or parts together relation
has subclass	(noun) two propositions are contradictories if both cannot be true (or both cannot be false) at the same time contradictory
has subclass	(noun) a logical relation such that two propositions are contraries if both cannot be true but both can be false contrary
has subclass	(noun) (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 transitivity
has subclass	(noun) (logic and mathematics) a relation such that it holds between an element and itself reflexiveness, reflexivity
has subclass	(noun) a classification of propositions on the basis of whether they claim necessity or possibility or impossibility modality, mode
has subclass	(noun) a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false implication, conditional relation, logical implication

Links
has category	(noun) the branch of philosophy that analyzes inference logic