亀「論理学教えてよ」 (4)
アキレス「論理学とはこういうものだよ」
前提1 Pである
前提2 PならばQである
結論 Qである
亀「いやそれはおかしい。前提1と前提2はいい。でもなぜ結論Qとなるんだい?」
アキレス「Pで、かつPならばQならばQに決まっているだろう」
亀「そんなルール、僕は知らないよ。だって書いてないじゃないか」
>>20
P→Qはそういう意味です。
しかし亀は納得してくれません。
なぜなら「PかつP→QのときQである」とは明文化されていないからです。
このSSまとめへのコメント
このSSまとめにはまだコメントがありません