TΛPION

1.A→B P
2.B→¬A P
3.A→¬A SH. 1,2
4.?