作业帮 > 数学 > 作业

MPAcc逻辑求助!1. 所有鸟可能不都是会飞的. 等价于“有些鸟都必然不是会飞的”2. 所有鸟都不可能是会飞的. 等价

来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/09/25 18:30:55
MPAcc逻辑求助!
1. 所有鸟可能不都是会飞的. 等价于“有些鸟都必然不是会飞的”
2. 所有鸟都不可能是会飞的. 等价于“所有鸟都可能不是会飞的”

为什么1中等价为“有些鸟”,而在2中就成了“所有鸟”了呢?
求转换规则和方法!O(∩_∩)O谢谢!
MPAcc逻辑求助!1. 所有鸟可能不都是会飞的. 等价于“有些鸟都必然不是会飞的”2. 所有鸟都不可能是会飞的. 等价
这个是全部否定和部分否定问题.
1.首先要分辨是“全部否定”还是“局部否定”:
“不都” 表示局部否定,即“不全是”;类似地,还有”不是任意的.“
“都不”表示全部否定,即“全不是”;类似地,还有”任意的.不“
2.删除否定词过程中的量词选取:
局部否定中,用“存在,有些,部分”等量词(一般要替换);
全部否定中,用“任意,所有,全体”等量词(一般只要保留).
再来看这两题目:
1)所有鸟可能不都是会飞的,是局部否定,因为出现“不都”,这样将“所有”转化“有些”,然后删掉”不都“,变成”有些鸟可能会飞的“.
2)所有鸟都不可能是会飞的,是全局否定,因为出现”都不“,然后删除“都不”,变成“所有鸟可能会飞的”.