0689考える名無しさん垢版 | 大砲2022/10/21(金) 00:02:42.820 ¬A=B → A=¬B という形式論理を認めなければあらゆる推論が不可能になるが これを個人的問題と言ってしまう。