逻辑题：由于“不”的位置不同,使逻辑涵义存在区别.否定词“不”在模态词前,逻辑常项全都改变.这个我比较清楚.例如（1）不可能所有鸟都是会飞的.等价于“必然有些鸟不是会飞的”（2

逻辑题：由于“不”的位置不同,使逻辑涵义存在区别.否定词“不”在模态词前,逻辑常项全都改变.这个我比较清楚.例如（1）不可能所有鸟都是会飞的.等价于“必然有些鸟不是会飞的”（2
逻辑题：由于“不”的位置不同,使逻辑涵义存在区别.
否定词“不”在模态词前,逻辑常项全都改变.这个我比较清楚.
例如
（1）不可能所有鸟都是会飞的.等价于“必然有些鸟不是会飞的”
（2）所有鸟不可能都是会飞的.等价于“有些鸟必然不是会飞的”
（3）所有鸟都会飞是不可能的.等价于“有些鸟不会飞是必然的”
但是,否定词不在模态词的前面,等价命题有什么规律记忆?
（4）所有鸟可能不都是会飞的.等价于“有些鸟可能不是会飞的”
（5）所有鸟都不可能是会飞的.等价于“所有鸟都必然不是会飞的”
（6）所有鸟可能都不是会飞的.等价于“所有鸟都可能不是会飞的”
请各位高手给与好的记忆方式!最好能解释一下如何记忆准确而有便捷!

逻辑题：由于“不”的位置不同,使逻辑涵义存在区别.否定词“不”在模态词前,逻辑常项全都改变.这个我比较清楚.例如（1）不可能所有鸟都是会飞的.等价于“必然有些鸟不是会飞的”（2
你的问题中,同时考虑了量词和模态词,挺复杂的.对于这种情况,应分别讨论两种修饰词对命题的影响.
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】；

（6）【所有鸟】【可能】【都】【不】【是会飞的】
　＝【所有鸟】【都】【可能】【不】【是会飞的】；——【5】；