論理的同値

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