看图
证明方法不可能完全一样,该题出的不好,所给条件有冗余,按题意,"猴子没有翅膀"，"猴子不会飞"；只需一个条件即可得"猴子不是鸟",该题一定得用谓词演算,而且"是鸟""有翅膀""会飞"必须引入谓词,但"是猴子"可以不必引入谓词,如果引入也可,但变得复杂.
反证：假设猴子是鸟，那么由命题1，猴子有翅膀、猴子会飞，这与命题2：猴子没有翅膀、猴子不会飞矛盾，假设不成立，所以猴子不是鸟。
