Relevant logic requires that antecedent and consequent share propositional variables for a condition...