>>109
>P∨Qと¬Pから、Qが成り立つ
それは矛盾律ですよ
それを仮定すれば同等となるのは上>>104に書いた通りです
ですので
この違和感>>80を正当化するには最小論理あるいはそれに類する>>93のようなものが必要
そっちは矛盾とは何かの定義が思いついてないのでまだ不完全ですが
最小論理なら>>105の通り同等とはならないので
これでもいいかなと思い始めたところ