A relation between propositions
Logic
Relation
Contrary
Implication
Logical implication
Modality
Mode
Reflexiveness
Reflexivity
Conditional relation
Transitivity
Contradictory