Question

逻辑命题，帮忙看看，头都大了！！！

所有鸟不可能都是会飞的怎么会等价于有些鸟必然不是会飞。。所有鸟可能不都是会飞的怎么等价于有些鸟可能不是会飞的。。求高人告诉我推导过程，为什么会得出这样的结论，在线等高人！！

Answer 1

分析这两个命题的逻辑形式：
“所有鸟不可能都是会飞的”----SEP（全称否定命题）
“有些鸟必然不是会飞”---------SOP（特称否定命题）
根据同一素材的命题之间的对当关系，如果全称否定命题为真，那么特称否定命题也为真。
举一个更容易理解的例子：
所有星球不可能都是有生命的，
所以，有些星球必然不是有生命的。