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