EXAMPLEA 推理与证明方法 Hypotheses:任何人如果他喜欢步行,则他就不喜欢乘 汽车;每个人喜欢乘汽车或者喜欢骑自行车;有的人不喜 欢骑自行车, Conclusion:因此有的人不喜欢步行。 2/24/202111:15PM Deren Chen Zhejiang univ推理与证明方法 2/24/2021 11:15 PM Deren Chen, Zhejiang Univ. 9 EXAMPLE 4 Hypotheses: 任何人如果他喜欢步行，则他就不喜欢乘 汽车；每个人喜欢乘汽车或者喜欢骑自行车；有的人不喜 欢骑自行车， Conclusion: 因此有的人不喜欢步行