Question

求教一道离散数学证明题！急！

鸟有翅膀，鸟会飞；猴子没有翅膀，猴子不会飞；所以猴子不是鸟。
将推理符号化并给出形式证明。
（注：跟网上传的那个题有点不一样哈）

Answer 1

看图 

证明方法不可能完全一样,该题出的不好,所给条件有冗余,按题意,"猴子没有翅膀"，"猴子不会飞"；只需一个条件即可得"猴子不是鸟",该题一定得用谓词演算,而且"是鸟""有翅膀""会飞"必须引入谓词,但"是猴子"可以不必引入谓词,如果引入也可,但变得复杂.

Answer 2

反证：
假设猴子是鸟，那么由命题1，猴子有翅膀、猴子会飞，这与命题2：猴子没有翅膀、猴子不会飞矛盾，假设不成立，所以猴子不是鸟。