mooc逻辑导论课后答案(慕课2023完整答案)
64 min readmooc逻辑导论课后答案(慕课2023完整答案)
第一周单元测验
1、下列问题属于典型的导论答案答案逻辑学研究对象的是
A、什么样的课后推理形式是有效的，以及如何系统性地找出某一领域内所有有效的慕课推理形式
B、人在进行推理、完整论证等理性思维活动时，逻辑脑神经是导论答案答案如何运动变化的
C、哪些关于世界的课后命题或理论是真的
D、历史上的慕课哲学家是如何看待推理与论证的
2、“如果天下雨，完整则地湿。逻辑地没有湿，导论答案答案所以天没有下雨。课后”下列推理与上述推理形式不同的慕课是：
A、如果a大于5，完整那么a大于4。a不大于4，所以，a不大于5。
B、如果李明考试不及格，那么李明必须补考。李明考试及格了，所以李明不用补考。
C、如果S公司筹集不到300万元资金，那么S公司会破产。S公司没有破产，所以S公司筹集到了300万元资金。
D、如果本单位有3名以上党员，则本单位必须成立党支部。本单位不必成立党支部，所以本单位没有3名以上党员。
3、下列说法中正确的是
A、如果一个推理的前提为真，结论也为真，那么这个推理的形式一定是有效的
B、如果一个推理的前提为真，结论为假，那么这个推理的形式一定不是有效的
C、如果一个推理的形式是有效的，那么这个推理的前提和结论都为真
D、如果一个推理的形式不是有效的，那么这个推理的前提真但结论假
4、“矛盾是思维中的错误。社会矛盾是一种矛盾。所以，社会矛盾是一种思维中的错误。”上述推理最主要地违反了逻辑基本规律中的__________。
A、同一律
B、矛盾律
C、排中律
D、理由充足律
5、下列选项导致悖论的是：
A、本选项是假命题
B、本题的B选项是真命题
C、本题不该选C选项
D、本题没有D选项
第二章 词项逻辑（一）
第二章 单元测验
1、下列推理只有使用词项逻辑才能揭示其有效性的是：
A、如果天下雨，则地湿。地没有湿，所以天没有下雨。
B、如果A阀门漏气或者B阀门漏气，那么锅炉将不工作。所以，如果A阀门漏气则锅炉不工作，并且如果B阀门漏气则锅炉不工作。
C、或者是张三偷吃了蛋糕，或者是李四偷吃了蛋糕。所以，如果张三没有偷吃蛋糕，那么李四就偷吃了蛋糕。
D、所有的鸟都不是哺乳动物，所有的企鹅都是鸟，所以，所有的企鹅都不是哺乳动物。
2、“所有的S都是P”用换位法可以推出：
A、所有的S都不是非P
B、所有的P都是S
C、有的P是S
D、有的S是P
3、下列属于差等关系推理的是
A、从SAP推出?SEP
B、从SAP推出?SOP
C、从?SIP推出?SAP
D、从?SIP推出SOP
4、下列直言命题不能使用换位法进行直接推理的是：
A、所有的货币都是一般等价物
B、有的哲学家也是数学家
C、所有的员都不是基督教徒
D、有的天鹅不是白色的
5、填写第三格EAO式三段论的形式，依次写出1号到9号方框中的字母。（字母需大写，中间不加空格）
第二章 词项逻辑（二）
第二章 单元测验（二）
1、“没有废电脑不是废电器，并非所有的废电器都是可回收垃圾，所以，有些废电脑不是可回收垃圾。”是无效的，因为它违反了三段论的一般规则：
A、中项至少周延一次
B、前提中不周延的项在结论中不得周延
C、两个否定前提不能得出结论
D、有否定前提则结论否定
2、下列三段论格式中有效的有：
A、AAA-4
B、EAO-3
C、IEO-2
D、AOO-1
3、下列三段论格式离开主项存在假设就不有效的有
A、AAA-1
B、AAI-1
C、AII-1
D、AII-3
4、一个有效三段论格式中，所有的词项至多周延______次；至少周延______次。（填半角阿拉伯数字，两个数字之间加一个空格）
5、填写恰当的字母，得到有效的三段论推理形式： (依次写出1号到4号方框中的字母,字母需大写，中间不加空格)
第三章 命题逻辑（一）
第三章 单元测验（一）
1、“只有p，才q”用命题逻辑公式表示是：
A、p→q
B、q→p
C、p?q
D、?p∨?q
2、“只要p，就q”用命题逻辑公式表示是：
A、p→q
B、q→p
C、p?q
D、?p∨?q
3、已知p假q真，则下列公式中为真的是：
A、(p∨?q)∨?q
B、(p∨q)∧p
C、p∨?q→p
D、?(q∧p)→p
4、关于命题逻辑公式的下列说法正确的有：
A、公式是满足一定排列组合规则的符号串
B、(p∧q)和(q∧p)是相同的公式
C、一个否定式的否定不再是否定式
D、公式的数量是无穷的，但每个公式的长度总是有穷的
5、下列公式满足形式A→(B→C)的有：
A、p→(q→(r→s))
B、p→((q→r)→s)
C、(p→(q→r))→s
D、(p→q)→(r→s)
第三章 命题逻辑（二）
第三章 单元测验（二）
1、使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是__________。
A、重言式
B、矛盾式
C、可满足式
D、偶真式
2、画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明：
A、A是重言式
B、A不是重言式
C、A是可满足式
D、A是矛盾式
3、下列公式中属于重言式的是：
A、(p→q)→q
B、q→(q→p)
C、(p→q)→p
D、p→(q→p)
4、下列公式与A∨?B逻辑等值的有
A、?A→?B
B、?(?A∧B)
C、B→A
D、A∨?A→A∨?B
5、公式(p→(q→r))→((p→q)→(p→r))的真值表共有__________种命题变项的真值组合。（填半角阿拉伯数字）
第三章 命题逻辑（三）
第三章单元测验（三）
1、在推演中，“∨-”规则指的是：
A、从A∨B推出A；从A∨B推出B
B、从A∨B和?B推出A；从A∨B和?A推出B
C、从A→B和?A→B推出B
D、从A∨B、A→C和B→C推出C
2、下列说法正确的有：
A、A→B表示以公式A为前提可以推出B
B、A├B表示以公式A为前提可以推出B
C、如果A→B是定理，那么以公式A为前提可以推出B
D、如果A├B，那么A→B是定理
3、在推演中，下列推导可以通过初始规则一步完成的有：
A、从A→B和?A→B推出B
B、从A?B和A推出B
C、从(A→B)→(A→C)和A→B推出A→C
D、从A∨B、A→C∨B和B→C∨B推出C∨B
4、下列属于正确的推演的有：
A、从A→B和?A推出?B
B、从A?B和?A推出?B
C、从A∨B和?A推出B
D、从A∧B和?A推出B
5、以下为一位同学证明A∨(B∨C)→(A∨B)∨C是PN定理时所给出的推演。其中，存在错误或书写不规范的共有__________行。（填半角阿拉伯数字）
第四章 归纳逻辑
第四章 单元测验
1、地球磁场发生磁爆炸的周期性经常与太阳黑子的周期一致。随着太阳黑子数目的增加，磁暴的强烈程度也增高；当太阳黑子数目减少时，磁暴的强度也相应降低。由此可见,太阳黑子的出现可能是磁暴的原因。上述探求因果关系的过程运用的是：
A、求同法
B、求异法
C、共变法
D、剩余法
2、在一次办公会议上，10个吃鸡蛋沙拉的人有6个人不久后病了。有关人士对这一事件进行了调查：他们细致而全面地检测了剩下的鸡蛋沙拉，并没有发现其中存在有害细菌。上述检测结果经多家权威检测机构复核并获一致认同。由此，调查人员得出结论：吃鸡蛋沙拉的人生病与鸡蛋沙拉无关。下列对该调查结论的评价，最恰当的是：
A、调查结论合理，因为最有可能的解释已经被可靠的科学手段所排除。
B、调查结论不合理，因为在最有可能的解释被可靠的科学手段排除后调查人员却没有给出新的合理解释。
C、调查结论合理，因为没有足够的证据能证实甲事是乙事的原因就足以表明甲事不是乙事的原因。
D、调查结论不合理，因为没有足够的证据能证实甲事是乙事的原因不等于有足够的证据来否定甲事是乙事的原因。
3、“当今大多数发达国家实行的政党制度都是多党制。所以，我国要想跻身发达国家的行列，也应该实行多党制。”上述论证存在的最主要的问题是：
A、忽略了大多数发达国家同我国在基本国情、历史文化、意识形态等方面存在较大差异。
B、没有充分尊重各国人民自主选择发展道路和发展方式的权利。
C、不合理地假定一个国家是否是发达国家是决定该国实行何种政党制度的关键因素。
D、没有认识到基于西方经济和政治传统的多党制并非唯一的、最完美的政党制度。
4、哲学家古德曼引入了一个新的颜色谓词“绿蓝的”(grue)，并定义如下：“x是绿蓝的，当且仅当，x在公元3000年之前被观察到并且是绿色的，或者x在公元3000年之后被观察到并且是蓝色的。”然后考虑下述归纳论证： （*）所有迄今为止观察到的翡翠都是绿蓝的。所以，所有翡翠都是绿蓝的。 对此，下列分析正确的是：
A、论证（*）表明，所有的翡翠会在公元3000年之后变成蓝色的。
B、论证（*）表明，并非所有的可观察的性质都可以普遍地推广至一切相似的个体。
C、论证（*）表明，基于对现有事实的观察而进行的对未来的预测是完全不可靠的。
D、论证（*）表明，有些基于观察而对未来进行预测的归纳论证隐含着悖论。
5、下列推理属于归纳推理的有：
A、如果天下雨，则地湿。地没有湿，所以天没有下雨。
B、前天天下雨，地湿了。昨天天下雨，地湿了。今天天下雨，地湿了。所以，如果明天天下雨，地也会湿。
C、黄瓜能进行光合作用，花生能进行光合作用，小麦能进行光合作用，水稻能进行光合作用。而所有这些东西都是绿色植物。所以，所有绿色植物都能够进行光合作用。
D、所有的鸟都不是哺乳动物。企鹅、麻雀、燕子、鸵鸟都是鸟。所以，所有的企鹅、麻雀、燕子、鸵鸟都不是哺乳动物。
期末考试
期末考试
1、作为逻辑基本规律的矛盾律指的是：
A、正确的理性思维应当避免逻辑矛盾
B、正确的理性思维应当具备逻辑矛盾
C、矛盾无处不在，无时不有
D、矛盾是推动事物发展的动力
2、在论证中偷换概念的谬误违反了逻辑基本规律中的：
A、同一律
B、矛盾律
C、排中律
D、充足理由律
3、下列说法正确的有：
A、若一个推理的形式是有效的，则该推理的前提都真且结论真。
B、若一个推理的形式不是有效的，则该推理的前提都真且结论假。
C、若一个推理的形式是有效的且该推理的前提都真，则该推理的结论真。
D、若一个推理的形式不是有效的且该推理的前提都真，则该推理的结论假。
4、检察官对被告人说：“请你不要撒谎。当你撒谎的时候，我们不会相信你。只有你说实话的时候，我们才会相信你。”为了给予检察官上述言论最合理的解释，必需的前提是：
A、检察官不信任被告人
B、检察官只对被告人如实交代的事情感兴趣
C、检察官只相信被告人说的真话
D、检察官知道被告人何时撒谎，何时说真话
5、某游戏要求玩家说一句可验明真假的话，然后根据这句话的真假派发奖品。具体规定为：①如果玩家说假话，那么他不得奖；②如果玩家说真话，那么他或者得小奖，或者得大奖。小王在参与该游戏时说：“我将不会得小奖。”那么，根据规则，__________。
A、只能给小王发小奖
B、只能给小王发大奖
C、既可以给小王发小奖，又可以给小王发大奖
D、不能给小王发奖
6、下列符号串属于命题逻辑公式的是：
A、((p→q)∨q)
B、(p∨q))
C、A→B
D、(?q)
7、“只要p，就q”用命题逻辑公式表示是：
A、p→q
B、q→p
C、p?q
D、?p∨?q
8、已知p真q假，则下列公式中为假的有：
A、(p∨?q)∨?q
B、(p∨q)∧p
C、p∨?q→q
D、?(q∧p)→p
9、下列说法中不正确的是：
A、重言式的否定都是矛盾式
B、矛盾式都是重言式的否定
C、可满足式的否定都是矛盾式
D、矛盾式的否定都是可满足式
10、下列关于真值表方法的叙述错误的是：
A、真值表方法可以判定任意命题逻辑公式是重言式、偶真式还是矛盾式
B、任一命题逻辑公式的真值表都是唯一的
C、真值表方法的合理性依赖如下前提：一个公式的真值仅由在该公式中出现的符号的意义决定
D、含n个命题变元的公式的真值表共有2n行
11、使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了无矛盾的赋值结果，则可以证明原公式是：
A、重言式
B、矛盾式
C、可满足式
D、偶真式
12、概念与语词的关系是：
A、所有语词都表达概念
B、所有语词都不表达概念
C、所有概念都是通过语词来表达
D、有的概念不通过语词来表达
13、“如果天下雨，则地湿。地没有湿，所以天没有下雨。”下列推理与上述推理形式不同的是：
A、如果S公司筹集不到300万元资金，那么S公司会破产。S公司没有破产，所以S公司筹集到了300万元资金。
B、如果李明考试不及格，那么李明必须补考。李明考试及格了，所以李明不用补考。
C、如果a大于5，那么a大于4。a不大于4，所以，a不大于5。
D、如果本单位有3名以上党员，则本单位必须成立党支部。本单位不必成立党支部，所以本单位没有3名以上党员。
14、在一次办公会议上，10个吃鸡蛋沙拉的人有6个人不久后病了。有关人士对这一事件进行了调查：他们细致而全面地检测了剩下的鸡蛋沙拉，并没有发现其中存在有害细菌。上述检测结果经多家权威检测机构复核并获一致认同。由此，调查人员得出结论：吃鸡蛋沙拉的人生病与鸡蛋沙拉无关。下列对该调查结论的评价，最恰当的是：
A、调查结论合理，因为没有足够的证据能证实甲事是乙事的原因就足以表明甲事不是乙事的原因。
B、调查结论不合理，因为在最有可能的解释被可靠的科学手段排除后调查人员却没有给出新的合理解释。
C、调查结论不合理，因为没有足够的证据能证实甲事是乙事的原因不等于有足够的证据来否定甲事是乙事的原因。
D、调查结论合理，因为最有可能的解释已经被可靠的科学手段所排除。
15、从“并非有的老师不是党员”推出“所有的老师都是党员”根据的是：
A、矛盾关系
B、反对关系
C、下反对关系
D、差等关系
16、PAM，MOS，所以，SOP。该三段论属于：
A、第一格
B、第二格
C、第三格
D、第四格
17、选择恰当的结论，使得推理形式有效：有的矩形是正方形，所有平行四边形都不是梯形，所有矩形都是平行四边形；所以，____________。
A、有的正方形不是梯形。
B、有的梯形不是正方形。
C、所有的正方形都不是梯形。
D、所有的梯形都不是正方形。
18、下图为判定某三段论格式的有效性而作的文恩图。第28至29题共同基于下图。 图中“⊕”号的依据是：
A、大前提
B、小前提
C、主项存在假设：中项外延非空
D、主项存在假设：小项外延非空
19、“所有的S都是P”用换位法可以推出：
A、有的P是S
B、所有的P都是S
C、有的S是P
D、所有的S都不是非P
20、在直言命题中，决定命题形式种类的是：
A、主项和谓项
B、主项和量项
C、联项和量项
D、谓项和量项
21、哲学家古德曼引入了一个新的颜色谓词“绿蓝的”(grue)，并定义如下：“x是绿蓝的，当且仅当，x在公元3000年之前被观察到并且是绿色的，或者x在公元3000年之后被观察到并且是蓝色的。”然后考虑下述归纳论证： （*）所有迄今为止观察到的翡翠都是绿蓝的。所以，所有翡翠都是绿蓝的。 对此，下列分析正确的是：
A、论证（*）表明，并非所有的可观察的性质都可以普遍地推广至一切相似的个体。
B、论证（*）表明，有些基于观察而对未来进行预测的归纳论证隐含着悖论。
C、论证（*）表明，所有的翡翠会在公元3000年之后变成蓝色的。
D、论证（*）表明，基于对现有事实的观察而进行的对未来的预测是完全不可靠的。
22、“我知道的所有已经死去的人没有谁复活，所以人死不能复生。”上述推理属于：
A、基于谓词逻辑的演绎推理
B、完全归纳推理
C、不完全归纳推理
D、类比推理
23、如果在真空中、在水中、在任何缺乏空气的容体中，加热某个易燃物体，都不会出现燃烧现象。而当在有空气的情况下加热易燃物体时，燃烧现象却会出现。因此，缺乏空气是燃烧不能进行的原因。上述探求因果关系的过程运用的是：
A、求同法
B、求异法
C、求同求异并用法
D、共变法
24、（第37至39小题共同基于以下材料） 某教育心理学家调研了一批中学生，发现智商越高的学生，在考试中出现作弊行为的几率就越低。于是该心理学得出结论：智力水平越高的中学生，越能在思想道德上认识到作弊的危害。 该心理学家试图运用的探求因果关系的方法是：
A、求同法
B、求异法
C、共变法
D、剩余法
25、该心理学家的研究结论若要成立，最需要依赖的前提是：
A、是否在考试中作弊只取决于学生对作弊行为的道德认识
B、学生是否有实施作弊行为的心理需求反映了学生的思想道德认识水平
C、学生道德认识的形成是智力水平发展到一定程度的必然结果
D、智力水平越高的学生，道德认识越健全和深入
26、下列无法构成对“学生智商越高，作弊几率越低”的其他的可能解释是：
A、智商较高的学生学业水平也较高，不需要作弊就能取得良好的考试成绩
B、对智商较高的学生构成挑战的考试题目往往难以通过简单易行的作弊手段获得答案
C、智商较高的学生往往顾及“好学生”的名誉，对因作弊被查处而承担后果的忧虑水平较高
D、智商较高的学生作弊手段相对高明，被监考人员发现并查处的概率较低
27、“某年级甲班有的学生是河南籍的”这一命题的主项是：
A、某年级甲班
B、某年级甲班有的学生
C、学生
D、某年级甲班的学生
28、已知“甲班有同学不是党员”，可必然推出：
A、甲班有同学是党员
B、有些党员是甲班同学
C、有些非党员是甲班同学
D、有些党员不是甲班同学
29、逻辑学研究推理，主要研究的是：
A、前提的真假
B、前提与结论间的内容联系
C、结论的真假
D、前提与结论间的逻辑联系
30、下列直言命题不能使用换位法进行直接推理的是：
A、所有的员都不是基督教徒
B、有的天鹅不是白色的
C、所有的货币都是一般等价物
D、有的哲学家也是数学家
31、下列公式中属于重言式的有：
A、(p→?p)→q
B、q→(?q→p)
C、(p→p)→?q
D、p→(?q→p)
32、下列属于正确的推演的有：
A、从A→B和?A推出?B
B、从A∨B和?A推出B
C、从A∧B和?A推出B
D、从A?B和?A推出?B
33、下列推演规则中正确的有：
A、从A∨B→C推出(A→C)∧(B→C)
B、从A∧B→C推出(A→C)∧(B→C)
C、从A∨B→C推出(A→C)∨(B→C)
D、从A∧B→C推出(A→C)∨(B→C)
34、下列三段论格式中有效的有：
A、AII-1
B、EAO-2
C、AII-3
D、EAO-4
35、该文恩图可用于说明__________的有效性。
A、EAO-1
B、EAO-2
C、EAO-3
D、EAO-4
36、单独概念不能进行限制。
37、把“《三国演义》”限制为“温酒斩华雄”，概括为“长篇历史小说”，从概念的概括和限制看都是正确的。
38、“所有S不是P“是“所有S是P”的负命题。
39、人是世界上最宝贵的。其中“人”是非集合概念。
40、请把窗户关上，不能够表达命题。
41、X公司为A、B、C、D、E、F、G、H八名保安编排夜间值班时间表。每周的七天中，每天晚上需要大门值班人、收发室值班人和庭院巡逻人各一人。已知： ①任意一人若某一天上夜班，则第二天必须休息。 ②每人每周上两至三次夜班，且每次上夜班担任的工作须各不相同。 ③D、E、F在星期三上夜班。 ④E从不担任庭院巡逻人；B从不担任大门值班人。 ⑤H在且只在星期二、四上夜班。H在大门值班的第二天，G在收发室值班，F在庭院巡逻。 ⑥如果E上夜班，那么其担任的工作总在第二天由A担任。 ⑦A和F每周在且只在一天共同上夜班。 ⑧A负责星期一的大门值班。 根据以上条件，推断各人的值班时间和岗位，回答下列问题。 共有______人每周值班3次，______人每周值班2次。（答案用空格键隔开）
42、（基于17题题干） 星期三的收发室值班人是______。
43、（基于17题题干） 星期四的庭院巡逻人是______。
44、（基于17题题干） 星期日的大门值班人是______。
45、“并非所有的书籍都是健康向上的。而所有的精神财富都是健康向上的。所以，并非所有的书籍都是精神财富”。该三段论属于______式。
46、在方框中填入合适的字母，构成有效的、标准的三段论推理形式： (依次填写字母，字母中间不加空格)
47、根据前提是否考察一类对象的全部个别对象，归纳推理分为完全归纳推理和___________两大类。
48、一个有效三段论格式中，所有的词项至多周延______次；至少周延______次。（填半角阿拉伯数字，两个数字之间加一个空格）
49、“没有废电脑不是废电器，并非所有的废电器都是可回收垃圾，所以，有些废电脑不是可回收垃圾。”是无效的，因为它违反了三段论的一般规则：
50、若p∧﹁q为真，则﹁p∨q为_________。
学习通逻辑导论
学习通逻辑导论是一门介绍逻辑学基本知识的课程。逻辑学是一门研究什么是正确推理的学问，它帮助我们分析语言和思想，发现其中的推理规律。
逻辑导论的内容包括命题逻辑、谓词逻辑、形式证明、范畴论和模型论等。其中，命题逻辑是最基本的逻辑体系，它研究的是命题之间的逻辑关系。
命题逻辑
命题逻辑使用的符号包括逻辑常量、命题符号、联结词和括号。逻辑常量包括真和假两个值，分别用符号T和F表示。命题符号用来表示命题，如P、Q、R等。联结词包括否定、合取、析取、条件和双条件等，分别用符号~、∧、∨、→和?表示。括号用来表示命题的复合关系。
命题逻辑的推理规则包括假言推演、拒取式、假言三段论、析取三段论、中介言词、前提交换、前提重言和等价替换。
假言推演
假言推演是一种常用的推理方式，它是从一个条件命题推出另一个条件命题。具体来说，如果我们知道p→q和p，那么我们可以推出q。
例如，如果我们知道“如果今天下雨，那么我不去打篮球”，并且知道“今天下雨”，那么就可以得出“我不去打篮球”的结论。
拒取式
拒取式是一种推理规则，它将一个复合命题的否定拆分为两个命题的否定。具体来说，如果我们知道~(p∧q)，那么就可以得出~p∨~q。
例如，如果我们知道“我既不喜欢足球，也不喜欢篮球”，那么就可以得出“我要么不喜欢足球，要么不喜欢篮球”的结论。
假言三段论
假言三段论是一种推理方式，它将两个条件命题组合成一个新的条件命题。具体来说，如果我们知道p→q和q→r，那么就可以得出p→r。
例如，如果我们知道“如果今天下雨，那么我不去打篮球”和“如果我不去打篮球，那么我会在家里看电视”，那么就可以得出“如果今天下雨，那么我会在家里看电视”的结论。
析取三段论
析取三段论是一种推理方式，它将两个条件命题组合成一个新的条件命题。具体来说，如果我们知道p∨q和~p，那么就可以得出q。
例如，如果我们知道“我要么喜欢足球，要么喜欢篮球”和“我不喜欢足球”，那么就可以得出“我喜欢篮球”的结论。
谓词逻辑
谓词逻辑是一种更加复杂的逻辑体系，它能够处理更加复杂的命题。谓词逻辑使用的符号包括谓词符号、量词符号、变量和函数符号等。
谓词逻辑的一些重要概念包括真值、公式、蕴涵、等值、推理、子句集和归结等。其中，子句集和归结是人工智能中重要的知识表示和推理方法。
子句集
子句集是一组谓词逻辑公式的集合，它常用于表示知识库或问题域。子句的形式是一个谓词和若干个变量的组合，如father(x,y)表示x是y的父亲。
归结
归结是一种基于子句集的推理方法。具体来说，它将一个复杂的问题转化为一个简单的问题，然后通过不断地归结来求解。
例如，假设我们要证明“所有的人都有母亲”。我们可以将这个问题转化为“如果一个人没有母亲，那么他不是人”。然后，我们可以将这个命题与子句集中的其他命题进行归结，最终得出结论。
结论
学习通逻辑导论是学习逻辑学基本知识的好方法，命题逻辑和谓词逻辑是逻辑学的基本体系，它们能够帮助我们分析语言和思想，发现其中的推理规律。通过学习这门课程，我们能够提升我们的逻辑思维能力，并且能够更加深入地理解人工智能领域中的知识表示和推理方法。
