悪魔の証明の履歴

定義

全称肯定命題(又はその対偶としての特称否定命題(すなわち消極的事実))の証明の困難性を比喩的に表現した言葉

出典 Wikipedia

これだと抽象化されていて何のことか分からないが、平たく言うと次のとおり。

「ないこと」を証明すること。


「あることの証明」は、特定の「あること」を一例でも提示すればすむが、「ないことの証明」は、厳密には全称命題の証明であり、全ての存在・可能性について「ないこと」を示さねばならない

出典 Wikipedia

参考文献

疑惑がないことを証明するのは難しい。(中略) 贈収賄が存在しないことを証明するのは非常に難しい。(中略) だからこそ「疑わしきは無罪」という司法の原則が存在しているわけだ。

出典 堀江貴文オフィシャルブログ
http://ameblo.jp/takapon-jp/entry-10435727814.html