17/05/02 18:33:41.54 XV+WmDuu.net
本日は、チビが人間じゃない事を証明して見せましょう。
チビ＝醜い (自明の理) …… ①
醜い＝人間じゃない (自明の理) …… ②
①,②より
よって、チビ＝人間じゃない
証明終わり
次に、背理法による証明を示す。
チビ＝人間 と仮定する。
チビは醜い(自明の理)ため、人間であることに矛盾する。
そもそも、チビ＝人間と仮定することに無理があった。
よって、チビ＝人間じゃない
証明終わり
最後に対偶による証明をご覧に入れましょう。
人間 ならば チビじゃない。…… ①
①の命題の対偶は、
チビは人間じゃない。 …… ②
①の命題と②の命題は対偶関係にあり、同値である。
よって、チビは人間じゃない。
証明終わり
どうでしたか？
チビが人間じゃない事の証拠がぞくぞくでてきましたね。
これで私の身長がまた5cm伸びてしまったw