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