在一阶逻辑自然推理系统F中构造下面推理的证明
每个喜欢步行的人都不喜欢骑自行车，每个人或者是喜欢骑自行车或者喜欢乘汽车，有的人不喜欢乘汽车，所以有的人不喜欢步行。（个体域为人的集合）
每个喜欢步行的人都不喜欢骑自行车，每个人或者是喜欢骑自行车或者喜欢乘汽车，有的人不喜欢乘汽车，所以有的人不喜欢步行。（个体域为人的集合）
举一反三
- 在谓词逻辑中构造下面推理的证明：每个喜欢步行的人都不喜欢做汽车，每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车，因而有的人不喜欢步行。
- “很多人都喜欢骑自行车”的否定是 （ ） A: 有些人不喜欢骑自行车 B: 并不是很多人都喜欢骑自行车 C: 很多人不喜欢骑自行车 D: 少数人喜欢骑自行车
- “有的喜欢，有的不喜欢”这一句用手语表达正确的一项是 A: 喜欢/有的，不喜欢/有的 B: 有的/喜欢，有的/不喜欢 C: 喜欢/有，不喜欢/有 D: 有/喜欢，有/不喜欢
- 在自然推理系统口中,构造下面用自然语言给出的推理若小张喜欢数学,则小李或小赵也喜欢数学.若小李喜欢数学,他也喜欢物理.小张确实喜欢数学,可小李不喜欢物理,所以小赵喜欢数学.
- 假定个体域为所有人组成的集合，在谓词逻辑中符号化下面命题：并非每个人都喜欢骑自行车。