【#文档大全网# 导语】以下是®文档大全网的小编为您整理的《逻辑-非否》,欢迎阅读!
你的问题中,同时考虑了量词和模态词,挺复杂的.对于这种情况,应分别讨论两种修饰词对命题的影响.
1、基本命题: S 【是 P】;
注1:在此,我们不考虑对【主项——S】和【谓项——P】的否定,即不考虑【非 S】、【非 P】的情形.于是,【联结词——是】就总是和【P】紧挨着,所以把它们放在了一起.
2、加上量词: 【量词 S】【是 P】; 注1:量词包括:【所有】、【有的】;
注2:因为不考虑【非 S】的情形,使得【量词】与【S】总是紧挨着,所以放在一起;
3、加上模态词;
【模态词】和【量词】的顺序不影响命题的真值.所以,下面两种命题的含义是相同的: ①【量词 S】【模态词】【是 P】; =②【模态词】【量词 S】【是 P】; ——————————————————【1】 注1:模态词包括:【必然/一定】、【可能】;
4、加上【否定词】;
可以加否定词的位置有: (1)(紧挨在)【量词】之前; (2)(紧挨在)【模态词】之前; (3)(紧挨在)【是 P】之前;
注1:根据所放的位置不同,【否定词】有以下形式:【并非】、【不是】、【不】、【非】等;
问题一:【否定词】与【量词】、【模态词】的关系: 基本规律:每次改变【否定词】与【量词】(或【模态词】)的顺序,都要改变【量词】(或【模态词】).即:【所有】→【有的】(或【必然】→【可能】),或着反过来.
我们用〖〗引用与【】中相对的量词(或模态词),如:如果用【】引用 “所有”,则用〖〗引用 “有的”;或反之.那么否定词位置移动的规律可以用以下等价命题展示: ①【否定词】【量词 S】【模态词】【是 P】; =②〖量词 S〗【否定词】【模态词】【是 P】; =③〖量词 S〗〖模态词〗【否定词】【是 P】;——————————————【2】
问题二:【都】字的用法;
1、仅当【量词】为【所有】时可以使用;其一般形式为: 【所有 S】……【都】……;
2、只要量词【所有】和【都】字之间没有其他词,二者就可合为一体,表达与【所有 S】完全相同的含义: ①【所有 S】【都】……; =②【所有 S 都】……;
=③【所有 S】……;——————————————————————————【3】 3、【都】字和【否定词】的关系: ①【否定词】【所有 S】……【都】……;
=②【所有 S】……【否定词】……【都】……;——————————————【4】 结合等式【3】、【4】可知:【都】字的存在,使得【所有】量词对【否定词】的控制范围延长了.在【否定词】移动时:
(1)只要没有改变【否定词】与【都】字的相对位置,就不必改变【所有】量词;
(2)当改变【否定词】与【都】字的相对位置时,就需要将量词【所有】改变为〖有的〗了,而此时也就不能再使用【都】字了.
4、由上可知:【都】字相当于【所有】量词的一部分;所以:就像【量词】与【模态词】的顺序无关一样,【都】字也和【模态词】的顺序无关: ①【所有 S】【都】【模态词】【是 P】; =②【所有 S】【模态词】【都】【是 P】;————————————————【5】
规律总结: 【1】:【量词】与【模态词】的关系:顺序无关; 【2】:【量词】、【模态词】与【否定词】的关系:换位变词; 【3】:【都】字与【所有】量词的关系:相邻可省略; 【4】:【都】字与【否定词】的关系:不换位不变量词;换位变为【有的】量词; 【5】:【都】字与【模态词】的关系:顺序无关;
对于你的例子: (1)【不】【可能】【所有鸟】【都】【是会飞的】; =〖必然〗【并非】【所有鸟】【都】【是会飞的】;——【2】; =〖必然〗【所有鸟】【不】【都】【是会飞的】;——【4】; =〖必然〗〖有的鸟〗【不】【是会飞的】;——【4】;
(2)【所有鸟】【不】【可能】【都】【是会飞的】 =【所有鸟】【不】【都】【可能】【是会飞的】;——【5】; =〖有的鸟〗【不】【可能】【是会飞的】;——【4】; =〖有的鸟〗〖必然〗【不】【是会飞的】;——【2】;
(3)这是将【否定词】和【模态词】整体后置的情形,它与放在最前面的情形——即(1)——是等价的.这只是一种基本的句式变化,与逻辑关系不大.
(4)【所有鸟】【可能】【不】【都】【是会飞的】 =【所有鸟】【不】〖一定〗【都】【是会飞的】;——【2】; =【并非】【所有鸟】【都】〖一定〗【是会飞的】;——【4】; =【并非】【所有鸟】〖一定〗【是会飞的】;——【3】; =〖有的鸟〗【不】〖一定〗【是会飞的】;——【2】; =〖有的鸟〗【可能】【不】【是会飞的】;——【2】;
(5)【所有鸟】【都】【不】【可能】【是会飞的】 =【所有鸟】【都】〖必然〗【不】【是会飞的】;——【2】;
本文来源:https://www.wddqxz.cn/34c4ee01590216fc700abb68a98271fe910eafd0.html