ヘンパルのカラス - くらげのChangeLog

全称命題「全てのカラスは黒い」（「全てのxがカラスであるならば、全てのxは黒い」）いう命題はその対偶
「黒くないものはカラスでない」（「全てのxが黒くないならば、全てのxはカラスではない」）と同値であるので、
「カラスは黒い」ことを証明するには「黒くないものはカラスでない」ことを証明すれば良い。

つまり、こういうこと。

うみねこep3をやったら小道具として出てきたので。
悪魔の証明の反論に出してきたけど、全然反論になってない。