 The primary concern with relevant logics is not so much with negation as with a conditional connective \(\rightarrow\) (satisfying modus ponens). In relevant logics, if \(A \rightarrow B\) is a logical truth, then \(A\) is relevant to \(B\), in the sense that \(A\) and \(B\) share at least one propositional variable.