如果所有的鸟都会飞,并且企鹅是鸟,那么企鹅会飞。从这个前提出发,需要加上下列哪一项前提,才能逻辑地推出“有些鸟不会飞”的结论。( )
A.有的鸟会飞,并且企鹅是鸟。
B.企鹅不会飞,并且企鹅是鸟。
C.企鹅不会飞,但所有的鸟会飞。
D.企鹅不会飞,并且企鹅不是鸟。
参考答案:B
解析:第一步:翻译题干 前提:所有的鸟都会飞∧企鹅是鸟企鹅会飞 结论:有些鸟不会飞 第二步:根据题干信息进行推导 前提“所有的鸟都会飞∧企鹅是鸟企鹅会飞”是个假言命题,前件“所有的鸟都会飞∧企鹅是鸟”是一个联言命题,后件为“企鹅会飞”;结论“有些鸟不会飞”是对前提前件中肢命题“所有鸟都会飞”的否定。 要否定前件中的一个肢命题,首先要否定前件,根据逆否规则,否后件可以推出否前件,可知要否定“所有的鸟都会飞”,得先否定“企鹅会飞”,即保证“-企鹅会飞”。 根 据逆否规则,从“-企鹅会飞”,可得到“-企鹅会飞-(所有的鸟都会飞∧企鹅是鸟)”,根据摩根规则,“-(所有的鸟都会飞∧企鹅是鸟)”等价于“-所 有的鸟都会飞∨-企鹅是鸟”,即“或者有些鸟不会飞,或者企鹅不是鸟”。“或者有些鸟不会飞,或者企鹅不是鸟”是选言命题,要得到有些鸟不会飞,即需要否 定另一个肢命题“企鹅不是鸟”,即保证“企鹅是鸟”。 综上分析,要得到“有些鸟不会飞”这一结论,需要添加的前提条件是“企鹅不会飞,并且企鹅是鸟”。故正确答案为B。