你的问题中,同时考虑了量词和模态词,挺复杂的.对于这种情况,应分别讨论两种修饰词对命题的影响. 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.wddqw.com/doc/34c4ee01590216fc700abb68a98271fe910eafd0.html