在自然推理系统[tex=1.214x1.286]mcswBUlxPX1gwjpZuy7EDw==[/tex]中 ,构造用自然语言描述的推理的证明.[br][/br]人都喜欢吃蔬菜.但不是所有的人都喜欢吃鱼.所以，存在喜欢吃蔬菜而不喜欢吃鱼的人.
举一反三
- 在自然推理系统F中，构造用自然语言描述的推理的证明：人都喜欢吃蔬菜，但说所有的人都喜欢吃鱼是不对的，所以存在着只喜欢吃蔬菜而不喜欢吃鱼的人
- 仔猪喜欢吃甜食、喜欢吃颗粒料，但不喜欢抢着吃。
- 中国大学MOOC: 仔猪喜欢吃甜食、喜欢吃颗粒料，但不喜欢抢着吃。
- 仔猪喜欢吃甜食、喜欢吃颗粒料，但不喜欢抢着吃。 A: 正确 B: 错误
- 在自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex]中.构造下面用自然语言给出的推理[br][/br] 若小张喜欢数学,则小李或小赵也喜欢数学.若小李喜欢数学,则他也喜欢物理.小张确实喜欢数学,可小李不喜欢物理.所以,小赵喜欢数学.