書いてて思ったけど人使わないだけで最小論理と同じかも
人を使うのは「矛盾に属している」と自分が書いたのと
同じことを記号にしてるだけかもな
しかし最小論理で
￢(A∧￢A)→￢(B∧￢B)
またはそもそも区別したかった矛盾の同等性
A∧￢A→B∧￢B
はどう証明できるのかな