为什么“所有鸟可能不都是会飞的”等价于“有些鸟可能不是会飞的”，而不是等价于“有些鸟必然不是会飞的

最后一个说法太过于绝对，而前两个都有可能两个字

这里要注意“不都”和“都不”的区别。“不都”的意思就是“不是所有”，所以原句翻译一下，就是“可能不是所有鸟都会飞的”。然后进行等价转换：“可能有的鸟不是会飞的”，即“有些鸟可能不是会飞的”。
你说的“有些鸟必然不是会飞的”，这句话等价于“并非所有鸟可能是会飞的”，仔细感受区别吧。

学离散数学的？可以用谓词演算分析啊