下列推理中哪项是有效的？
A: 有些作家会写诗，所以所有会写诗的人都是作家
B: 老虎是森林之王，狮子不是老虎，所以狮子不是森林之王
C: 所有鸟类都会飞，鸡不会飞，所以鸡不是鸟类
D: 所有人都有思维，猴子不是人，所以猴子没有思维
A: 有些作家会写诗，所以所有会写诗的人都是作家
B: 老虎是森林之王，狮子不是老虎，所以狮子不是森林之王
C: 所有鸟类都会飞，鸡不会飞，所以鸡不是鸟类
D: 所有人都有思维，猴子不是人，所以猴子没有思维
举一反三
- 下列各项推理中，推理形式有效的是？ A: 如果鸭嘴兽是哺乳动物，那么鸡也是哺乳动物；鸡不是哺乳动物；所以鸭嘴兽不是哺乳动物。 B: 所有天鹅都是会飞的；有些会飞的是有羽毛的；所以有些天鹅是有羽毛的。 C: 如果今天下雨，那么明天不需要上班；明天不需要上班；所以今天下雨。 D: 有些人是会死的；苏格拉底是人；所以苏格拉底是会死的。
- 【判断题】“所有的鸟都会飞。鸡不会飞,所以鸡不是鸟”,这一论证包含谬误。()
- 在谓词逻辑中符号化下列命题，并用构造法证明以下推理的有效性：鸟会飞，猴子不会飞，所以猴子不是鸟。
- 下列对当关系推理有效的是（ ）。 A: 有些建筑物是楼房，所以，有些建筑物不是楼房。 B: 并非有些单位不是没有腐化分子，所以，所有单位都没有腐化 分子。 C: 许多学生是尊敬老师的，所以，有些学生不是尊敬老师的。 D: 并非所有动物的血液都是红的，所以，有些动物的血液不是红 的。 E: 大多数学生都是勤奋好学的，所以，不能说所有学生都是勤奋 好学的。
- 下列各项推理中，推理形式有效的是？ A: 所有人都不是草木，草木是无情的；所以所有人都不是无情的。 B: 所有鸟都是会飞的，企鹅不会飞；所以企鹅不是鸟。 C: 有些家用电器是需要接通电源的，有些需要接通电源的东西是危险的；所以有些家用电器是危险的。 D: 大部分中国人都不会说梵语，小王是中国人；所以小王不会说梵语。