Logical relation

A relation between propositions