対偶

青いリンゴを見ると「カラスは黒い」ことの証明になる？：ヘンペルのカラス