逻辑-非否

2023-01-23 16:09:19   文档大全网     [ 字体: ] [ 阅读: ]

#文档大全网# 导语】以下是®文档大全网的小编为您整理的《逻辑-非否》,欢迎阅读!
逻辑
你的问题中,同时考虑了量词和模态词,挺复杂的.对于这种情况,应分别讨论两种修饰词对命题的影响.

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 结合等式【34】可知:【都】字的存在,使得【所有】量词对【否定词】的控制范围延长.在【否定词】移动时:

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

相关推荐