UC知道求教一道离散数学证明题！急！
来源：百度知道 编辑：UC知道 时间：2024/06/07 23:05:52
鸟有翅膀，鸟会飞；猴子没有翅膀，猴子不会飞；所以猴子不是鸟。
将推理符号化并给出形式证明。
（注：跟网上传的那个题有点不一样哈）
将推理符号化并给出形式证明。
（注：跟网上传的那个题有点不一样哈）
看图
证明方法不可能完全一样,该题出的不好,所给条件有冗余,按题意,"猴子没有翅膀"，"猴子不会飞"；只需一个条件即可得"猴子不是鸟",该题一定得用谓词演算,而且"是鸟""有翅膀""会飞"必须引入谓词,但"是猴子"可以不必引入谓词,如果引入也可,但变得复杂.
反证：
假设猴子是鸟，那么由命题1，猴子有翅膀、猴子会飞，这与命题2：猴子没有翅膀、猴子不会飞矛盾，假设不成立，所以猴子不是鸟。