>その話は、P→Qという命題が成り立っているときに、外から¬Qを加えてP∧¬Q → Qとしても、元の命題P→Qを否定できないということなのでしょう？
>それは分っていますよ
それはよかった
ずっとそれを主張していて
証明を書いた人に指摘されていたのを理解していない風だったので
>だが、いま問題にしているのは、
>仮定命題Pを場合分けして、P ＝ P1∨P2 と書けるという単純な話です
また若干異なった主張になっていますが現在のあなたの主張は
``P2->¬Qが真であるときP1∨P2->Qは偽である''
ということでしょうか？
