不登校でも勉強は真面目にした少年革命家(cf.ゆたぽん) 約6年以前 示したい命題の結論部分の否定を仮定条件として推論を導き、矛盾したら結論部分の否定が偽であった、つまり結論部分が真であるという論法です。 留言