\neg A\supset(A\supset B)