在自然推理系统中,构造下列推理的证明。每个喜欢步行的人都不喜欢骑自行车。每个人或者喜欢骑自

在自然推理系统<img src='https://img2.soutiyun.com/ask/2020-12-18/977149929807928.jpg' />中,构造下列推理的证明。每个喜欢步行的人都不喜欢骑自行车。每个人或者喜欢骑自行车或者喜欢乘汽车。有的人不喜欢乘汽车。所以,有的人不喜欢步行。(个体域为人类集合)

时间:2023-06-14 13:31:02

相似题目