在谓词逻辑中符号化下列命题，并用构造法证明以下推理的有效性：鸟会飞，猴子不会飞，所以猴子不是鸟。
举一反三
- 如果所有的鸟都会飞，并且鸵鸟是鸟，则鸵鸟会飞。依据上述断定，增加以下哪个条件，能逻辑地推出“有些鸟不会飞”? A: 鸵鸟不是鸟，且鸵鸟会飞。 B: 有的鸟会飞，且鸵鸟是鸟。 C: 鸵鸟不会飞，但鸵鸟是鸟。 D: 鸵鸟不会飞，且所有的鸟都会飞。
- 如果所有的鸟都会飞，并且鸵鸟是鸟，那么鸵鸟会飞。从这个前提出发，需加上下面那一组前提，才能逻辑地推出“有些鸟不会飞” A: 鸵鸟不是鸟，且鸵鸟会飞。 B: 有的鸟会飞，且鸵鸟是鸟。 C: 鸵鸟不会飞，但鸵鸟是鸟。 D: 鸵鸟不会飞，且所有的鸟都会飞。 E: 鸵鸟不会飞，且鸵鸟不是鸟。
- 设F(x)：x是鸟,G(x)：x会飞.命题“存在不会飞的鸟.”可符号化为
- 下列推理中哪项是有效的？ A: 有些作家会写诗，所以所有会写诗的人都是作家 B: 老虎是森林之王，狮子不是老虎，所以狮子不是森林之王 C: 所有鸟类都会飞，鸡不会飞，所以鸡不是鸟类 D: 所有人都有思维，猴子不是人，所以猴子没有思维
- 如果所有的鸟都会飞，并且燕子是鸟，那么燕子会飞。从这个前提出发，需要加上下列哪一项前提，才能逻辑地推出“有些鸟不会飞”的结论？（）。 A: 有的鸟会飞，并且燕子是鸟 B: 燕子不会飞，并且燕子是鸟 C: 燕子不会飞，但所有的鸟会飞 D: 燕子不会飞，并且燕子不是鸟