- 7 名前：名無しさん＠お腹いっぱい。 mailto:sage [2019/04/17(水) 00:51:34.87 .net]
- 【テンプレ・13】
■ チビが人間じゃないことの種々の証明 (Ver. 1.0.0)
本日は、チビが人間じゃない事を証明して見せましょう。
チビ＝醜い (自明の理) …… ①
醜い＝人間じゃない (自明の理) …… ②
①,②より
よって、チビ＝人間じゃない
証明終わり
次に、背理法による証明を示す。
チビ＝人間 と仮定する。
チビは醜い(自明の理)ため、人間であることに矛盾する。
そもそも、チビ＝人間と仮定することに無理があった。
よって、チビ＝人間じゃない
証明終わり
最後に対偶による証明をご覧に入れましょう。
人間 ならば チビじゃない。…… ①
①の命題の対偶は、
チビは人間じゃない。 …… ②
①の命題と②の命題は対偶関係にあり、同値である。
よって、チビは人間じゃない。
証明終わり
どうでしたか？
チビが人間じゃない事の証拠がぞくぞくでてきましたね。
これで私の身長がまた5cm伸びてしまったw
