- 193 名前：無責任な名無しさん mailto:sage [2019/07/10(水) 19:18:43.85 ID:WRGFQCEc.net]
- チビおっさんが人間じゃない事を証明して見せましょう。
チビ＝醜い (自明の理) …… ①
醜い＝人間じゃない (自明の理) …… ②
①,②より
よって、チビ＝人間じゃない
証明終わり
次に、背理法による証明を示す。
チビ＝人間 と仮定する。
チビは醜い(自明の理)ため、人間であることに矛盾する。
そもそも、チビ＝人間と仮定することに無理があった。
よって、チビ＝人間じゃない
証明終わり
最後に対偶による証明をご覧に入れましょう。
人間 ならば チビじゃない。…… ①
①の命題の対偶は、
チビは人間じゃない。 …… ②
①の命題と②の命題は対偶関係にあり、同値である。
よって、チビは人間じゃない。
証明終わり
どうでしたか？
チビが人間じゃない事の証拠がぞくぞくでてきましたね。
これでお前の身長がまた5cm縮んでしまった。
