在谓词逻辑中构造下面推理的证明：每个喜欢步行的人都不喜欢做汽车，每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车，因而有的人不喜欢步行。
举一反三
- 在一阶逻辑自然推理系统F中构造下面推理的证明 每个喜欢步行的人都不喜欢骑自行车，每个人或者是喜欢骑自行车或者喜欢乘汽车，有的人不喜欢乘汽车，所以有的人不喜欢步行。（个体域为人的集合）
- “很多人都喜欢骑自行车”的否定是 （ ） A: 有些人不喜欢骑自行车 B: 并不是很多人都喜欢骑自行车 C: 很多人不喜欢骑自行车 D: 少数人喜欢骑自行车
- “有的喜欢，有的不喜欢”这一句用手语表达正确的一项是 A: 喜欢/有的，不喜欢/有的 B: 有的/喜欢，有的/不喜欢 C: 喜欢/有，不喜欢/有 D: 有/喜欢，有/不喜欢
- 李丽和王佳是好朋友,同在一家公司上班,常常在一起喝下午茶,她们发现常去喝下午茶的人或者喜欢红茶,或者喜欢花茶,或者喜欢绿茶,李丽喜欢绿茶,王佳不喜欢花茶。根据以上陈述,以下哪项必定为真() A: 王佳如果喜欢红茶,就不喜欢绿茶 B: 常去喝下午茶的人如果不喜欢绿茶,就一定喜欢红茶和花茶 C: 常去喝下午茶的人如果不喜欢红茶,就一定喜欢绿茶或花茶 D: 王佳如果不喜欢绿茶,也一定不喜欢红茶
- “有的人喜欢一边工作一边听音乐”，这是事实。由此必然得出的结论是()。 A: 有的人不喜欢一边工作一边听音乐 B: 有的人喜欢工作，但不喜欢听音乐 C: 有的人喜欢听音乐，但不喜欢工丁作 D: 并非所有人都不喜欢一边工作一边听音乐