在自然推理系统F中，构造用自然语言描述的推理的证明：人都喜欢吃蔬菜，但说所有的人都喜欢吃鱼是不对的，所以存在着只喜欢吃蔬菜而不喜欢吃鱼的人
举一反三
- 在自然推理系统[tex=1.214x1.286]mcswBUlxPX1gwjpZuy7EDw==[/tex]中 ,构造用自然语言描述的推理的证明.[br][/br]人都喜欢吃蔬菜.但不是所有的人都喜欢吃鱼.所以，存在喜欢吃蔬菜而不喜欢吃鱼的人.
- 仔猪喜欢吃甜食、喜欢吃颗粒料，但不喜欢抢着吃。
- 在一阶逻辑自然推理系统F中构造下面推理的证明 每个喜欢步行的人都不喜欢骑自行车，每个人或者是喜欢骑自行车或者喜欢乘汽车，有的人不喜欢乘汽车，所以有的人不喜欢步行。（个体域为人的集合）
- 中国大学MOOC: 仔猪喜欢吃甜食、喜欢吃颗粒料，但不喜欢抢着吃。
- 仔猪喜欢吃甜食、喜欢吃颗粒料，但不喜欢抢着吃。 A: 正确 B: 错误