单选题 如果所有的鸟都会飞,并且鸵鸟是鸟,那么鸵鸟会飞。
从这个前提出发,需加上下面哪一组前提,才能逻辑地推出“有些鸟不会飞”?
A.鸵鸟不是鸟,且鸵鸟会飞。
B.有的鸟会飞,且鸵鸟是鸟。
C.鸵鸟不会飞,但鸵鸟是鸟。
D.鸵鸟不会飞,且所有的鸟都会飞。
E.鸵鸟不会飞,且鸵鸟不是鸟。

【正确答案】 C
【答案解析】所要推出的结论“有些鸟不会飞”,就是题干中前件的一部分“所有的鸟都会飞”的矛盾命题。根据充分条件假言推理的规则,我们可以通过否定后件从而否定前件来推出所要的结论。所以,首先需要增加“鸵鸟不会飞”这样一个前提。增加该前提后,就可以进一步得到:并非(所有的鸟都会飞,并且鸵鸟是鸟)。根据联言命题的负命题的等值命题的知识,我们知道,该命题等值于:有的鸟不会飞或者鸵鸟不是鸟。这是一个相容的选言命题,我们只需要增加“鸵鸟是鸟”这样一个小前提,进行否定肯定式的相容的选言推理,即可得出结论“有些鸟不会飞”。