# Definitions and Synonyms of *logical relation* | Another word for *logical relation* | What is *logical relation? *

*Definition 1: a relation between propositions - [noun denoting linkdef]*

*(**logical relation* is a kind of ...) an abstraction belonging to or characteristic of two entities or parts together

*logical relation*is a kind of ...) an abstraction belonging to or characteristic of two entities or parts together

*(... is a kind of **logical relation* ) two propositions are contradictories if both cannot be true (or both cannot be false) at the same time

*logical relation*) two propositions are contradictories if both cannot be true (or both cannot be false) at the same time

*(... is a kind of **logical relation* ) a logical relation such that two propositions are contraries if both cannot be true but both can be false

*logical relation*) a logical relation such that two propositions are contraries if both cannot be true but both can be false

*(... is a kind of **logical relation* ) (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

*logical relation*) (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

*(... is a kind of **logical relation* ) (logic and mathematics) a relation such that it holds between an element and itself

*logical relation*) (logic and mathematics) a relation such that it holds between an element and itself

*(... is a kind of **logical relation* ) a classification of propositions on the basis of whether they claim necessity or possibility or impossibility

*logical relation*) a classification of propositions on the basis of whether they claim necessity or possibility or impossibility

*(... is a kind of **logical relation* ) a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

*logical relation*) a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false