お前らの好きなパラドックスについて語ってけ

お前らの好きなパラド ..

357:１３２人目の素数さん
22/02/01 20:04:59.29 uaMvFb7H.net
「ヘンペルのカラス」は「全てのカラスは黒い[注釈 1]」という命題を証明する以下のような対偶論法を指す[1]。
「AならばBである」という命題の真偽は、その対偶「BでないものはAでない」の真偽と必ず同値となる[2][3][4]。全称命題「全てのカラスは黒い」という命題はその対偶「全ての黒くないものはカラスでない」と同値であるので、これを証明すれば良い[2][3]。そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明することができる[3]。
つまり、カラスを一羽も調べること無く、それが事実に合致することを証明できるのである[2][3]。これは（この論法は）日常的な感覚からすれば奇妙にも見える[2][3]。
こうした論法が「ヘンペルのカラス」と呼ばれている。

次ページ

続きを表示

1を表示