M_SHIRAISHIの新論理ってどうよ？

「ＰならばＱ」が，Ｐが偽のときは”Ｑの真偽にかかわらず”，真になるって事で
いいんじゃない？だからこそ，Ｐが偽で「ＰならばＱ」が真でも，Ｑの真偽に
ついては結論できないわけよ。Ｐが真のときは，Ｑの真偽と「ＰならばＱ」の真偽
が一致するからこそ，Ｐが真で「ＰならばＱ」も真のときは，Ｑが真だと結論
できるわけよ。

結局，Ｐと「ＰならばＱ」の両方が真のとき，Ｑの真偽を結論できるか
がポイントじゃないの？つまり，Ｑの真偽について正しく結論できれば
いいわけよ。
そこらへん考えると「ＰならばＱ」と「Ｐでない
またはＱ」が同値だと言うのはかなり納得できると思うよ。
論理学の初歩の本の説明はまた別だけど。

いずれにしても，Ｐが偽のときに，任意の命題が結論できると
言っている”しらいし”氏は，まったくのトンチンカンね！

なんか165はしどろもどろになってるね。とにかく165でいいたいのは
Ｑの真偽について正しく結論できればいいんじゃない？ってことです。