¬A=B → A=¬B
という形式論理を認めなければあらゆる推論が不可能になるが
これを個人的問題と言ってしまう。