来源：学生作业帮 编辑：神马作文网作业帮 分类：数学作业 时间：2024/11/13 09:41:31
求教一道离散数学证明题!急!
鸟有翅膀,鸟会飞；猴子没有翅膀,猴子不会飞；所以猴子不是鸟.
将推理符号化并给出形式证明.
（注：跟网上传的那个题有点不一样哈）
看图
证明方法不可能完全一样,该题出的不好,所给条件有冗余,按题意,"猴子没有翅膀","猴子不会飞"；只需一个条件即可得"猴子不是鸟",该题一定得用谓词演算,而且"是鸟""有翅膀""会飞"必须引入谓词,但"是猴子"可以不必引入谓词,如果引入也可,但变得复杂.
神马作文网