飛べない豚はただの豚　証明

参考→https://link.playio.co/1wvug7v これ、必要条件から十分条件を導いてるけど数学的にダメだろ(マジレス) 【証明】 『飛べない豚はただの豚』ということを証明する為には、対偶である『普通でない豚は飛べる』ことを証明すれば良い。 英語にはWhen pigs fly(豚が空を飛ぶ時)という慣用句があり、その意味としては『絶対にありえないこと』指している。 ここで、普通のpigsを『普通の豚』、絶対にありえないpigs flyを『普通でない状態』と定義できる。 その為、『普通の豚は飛ばない』ことと、『普通ではない豚は飛ぶ』となる よって、『ただの豚ではない豚は飛べる』が成り立つ。 これは『普通でない豚は飛べる』の対偶であるから、『飛べない豚はただの豚』が成り立つ。 ＱＥＤ