自相矛盾.
这句话分前后两句,前一句是个假设,假设W是一只会飞的猪,后一句是以前一句为前提的,如果前提不成立的话结果也就不成立.