在谓词逻辑中构造下面推理的证明：每个喜欢步行的人都不喜欢做汽车，每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车，因而有的人不喜欢步行。
论域：所有人的集合。A(x):x喜欢步行，B(x):x喜欢坐汽车，C(x):x喜欢骑自行车，则推理化形式为：[tex=24.214x1.357]5LPtTtLow/R18Xtdr4KZQLzAZtW8Wv7MITzM+PeIA41Dhz+BprzDIyfe+3UPGNTL4rsoOgsa0pxJ5hAgXH5fOFwLT8BQnZ0Q1g0T6PXrSLuSsfpVFnzH5av3T6FPTkKivCYe6P4aFnrcs3CGJg/XW4Amag9/P0giLUhcGD93RUA=[/tex]，下面给出证明：[img=362x213]1788bccca12d282.png[/img]
举一反三
- 在一阶逻辑自然推理系统F中构造下面推理的证明 每个喜欢步行的人都不喜欢骑自行车，每个人或者是喜欢骑自行车或者喜欢乘汽车，有的人不喜欢乘汽车，所以有的人不喜欢步行。（个体域为人的集合）
- “很多人都喜欢骑自行车”的否定是 （ ） A: 有些人不喜欢骑自行车 B: 并不是很多人都喜欢骑自行车 C: 很多人不喜欢骑自行车 D: 少数人喜欢骑自行车
- “有的喜欢，有的不喜欢”这一句用手语表达正确的一项是 A: 喜欢/有的，不喜欢/有的 B: 有的/喜欢，有的/不喜欢 C: 喜欢/有，不喜欢/有 D: 有/喜欢，有/不喜欢
- 李丽和王佳是好朋友,同在一家公司上班,常常在一起喝下午茶,她们发现常去喝下午茶的人或者喜欢红茶,或者喜欢花茶,或者喜欢绿茶,李丽喜欢绿茶,王佳不喜欢花茶。根据以上陈述,以下哪项必定为真() A: 王佳如果喜欢红茶,就不喜欢绿茶 B: 常去喝下午茶的人如果不喜欢绿茶,就一定喜欢红茶和花茶 C: 常去喝下午茶的人如果不喜欢红茶,就一定喜欢绿茶或花茶 D: 王佳如果不喜欢绿茶,也一定不喜欢红茶
- “有的人喜欢一边工作一边听音乐”，这是事实。由此必然得出的结论是()。 A: 有的人不喜欢一边工作一边听音乐 B: 有的人喜欢工作，但不喜欢听音乐 C: 有的人喜欢听音乐，但不喜欢工丁作 D: 并非所有人都不喜欢一边工作一边听音乐
内容
- 0
你喜欢物理吗（并非物理课或者物理考试） A: 喜欢 B: 不喜欢 C: 很不喜欢 D: 非常不喜欢
- 1
某学校对本学期课程满意度做了一次调查发现,所有喜欢语文课的学生都喜欢数学课,所有喜欢语文课的学生都不喜欢英语课,有的喜欢英语课的学生喜欢数学课。如果以上断定为真,以下各项都一定为真,除了一项？（） A: 有的喜欢语文课的不喜欢英语课 B: 有的喜欢数学课的不喜欢语文课 C: 所有不喜欢数学课的都不喜欢语文课 D: 有的喜欢数学课的喜欢语文课 E: 有的喜欢英语课的语文课
- 2
李丽和王佳是好朋友，同在一家公司上班，常常在一起喝下午茶，她们发现常去喝下午茶的人或者喜欢红茶，或者喜欢花茶，或者喜欢绿茶，李丽喜欢绿茶，王佳不喜欢花茶。 根据以上陈述，以下哪项必定为真 Ⅰ．王佳如果喜欢红茶，就不喜欢绿茶。 Ⅱ．王佳如果不喜欢绿茶，就一定喜欢红茶。 Ⅲ．常去喝下午茶的人如果不喜欢红茶，就一定喜欢绿茶或花茶。 Ⅳ．常去喝下午茶的人如果不喜欢绿茶，就一定喜欢红茶和花茶。 A: 仅Ⅱ和Ⅳ B: 仅Ⅱ、Ⅲ和Ⅳ C: .仅Ⅲ D: 仅Ⅱ和Ⅲ
- 3
中国大学MOOC: 某班上有40名女生。已知其中18个女生喜欢下棋，23 个女生喜欢踢足球，还有若干女生喜欢骑自行车。既喜欢下棋又喜欢踢足球的女生有9名，既喜欢下棋又喜欢骑自行车的女生有7名；既喜欢踢足球又喜欢骑自行车的女生有12名。有4个女生同时喜欢上述三项运动。且我们知道每个女生至少喜欢上述三项运动中的一种。问：喜欢骑自行车的女生有多少名？
- 4
你喜欢或者不喜欢一个人