
对任意的人类x,我们有x属于男生,或者x属于女生。(大前提)
考虑到x的任意性,且x=longqi。
所以我们需要证明有“若当x=longqi,则x属于女生”
我们来考察他的逆否命题:“若x不属于女生,则x不等于longqi.”
现在我们再来用反证法,假设x=longqi,所以x/o=lngqi。
显然,x/o没有意义,他与“x=a*o等价于x/o=a”等价,所以x是任意的。
又因为x=longqi,且x属于男生也可以是女生,
这与命题题设“若x不属于女生”即“x只属于男生”矛盾。
因此逆否命题为真,所以原命题也为真,这样我们就完成了证明。证明完毕。
