
いま雨が降っているのならば、今日の空模様は「晴れ」ではない。
のは小学生でもわかります。
このような証明法を「対偶論法」と言います。
「AならばB」にたいして「BでないならばAではない」
たとえば「xが2の倍数ならば、xは偶数である」と、
同じように、「いま私は不幸」を証明するには、
いま雨が降っているのならば、今日の空模様は「晴れ」ではない。
のは小学生でもわかります。
このような証明法を「対偶論法」と言います。
「AならばB」にたいして「BでないならばAではない」
たとえば「xが2の倍数ならば、xは偶数である」と、
同じように、「いま私は不幸」を証明するには、