【テンプレ・13】
■ チビが人間じゃないことの種々の証明 (Ver. 1.0.0)

本日は、チビが人間じゃない事を証明して見せましょう。
チビ＝醜い (自明の理) …… ①
醜い＝人間じゃない (自明の理) …… ②
①,②より
よって、チビ＝人間じゃない
証明終わり

次に、背理法による証明を示す。
チビ＝人間 と仮定する。
チビは醜い(自明の理)ため、人間であることに矛盾する。
そもそも、チビ＝人間と仮定することに無理があった。
よって、チビ＝人間じゃない
証明終わり

最後に対偶による証明をご覧に入れましょう。
人間 ならば チビじゃない。…… ①
①の命題の対偶は、
チビは人間じゃない。 …… ②
①の命題と②の命題は対偶関係にあり、同値である。
よって、チビは人間じゃない。
証明終わり

どうでしたか？
チビが人間じゃない事の証拠がぞくぞくでてきましたね。
これで私の身長がまた5cm伸びてしまったw