>>425
つづき

【注目すべき点】
　この問題では，（カラスでない鳥）が（黒い）場合でも（白い）場合でも，命題（カラスならば黒い）が成り立つことになります．今までのどの例でもＣもＤも真となっています．このことは，次のようにまとめることができます．
○　仮定pが成り立たないときは，結論qが何であっても（pならばq）の命題は真になる．
※次のような逸話と結びつけて覚えると忘れにくくなります．
　論理学者バートランド・ラッセルは，「仮定が間違っていればどんなことでも証明できる」という話をしたときに「それではあなたがローマ法王であることを証明してください」と言われて，直ちに次のように答えたと言われています．
　もし，2=1ならば異なる２人の人，ラッセルとローマ法王は同一の人に等しいから，ラッセルはローマ法王であることになる．
(引用終り)

つづく