With , we can get from to and to , which we know are equivalent to . Using we can derive an implication whose antecedent is false, and using we can derive an implication whose consequence is true: ?
With , we can get from to and to , which we know are equivalent to . Using we can derive an implication whose antecedent is false, and using we can derive an implication whose consequence is true: ?