作业帮 > 数学 > 作业

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

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