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