PartI推理过程Oneimportantpurposeofmathematicallogicistomakeprecisethenotionofaproof.Justwhatismeantbytheword“proof”?Onepersonsuggestedtomethataproofissimplyanargumentthatconvincessomebody.Notbad,butthetroubleisthatdifferentpeopleareconvincedbydifferentarguments,sotheconceptofproofinthatsenseisquitesubjective.Can’tone,then,findamoreobjectivedefinitionoftheword“proof”?Well,sofarnosuchdefinitionhasbeenfoundforthegeneralnotionofproof,butsymboliclogichasdoneanadmirablejobinmakingabsolutelyprecisethenotionof“proof”forgivenaxiomsystems!一个奇怪小岛上的逻辑问题一个很可能的思考过程直接问“你是不是无赖”看来没意义B和C有一个是无赖简单句与复合句问题2：推理中是否有些规律与具体的内容无关？问题3：我们怎么才能将这些规律表达出来，并让他们发挥作用？基本对象逻辑连接词与真值表TheIsland:Revisited逻辑不仅关乎结果，也能帮你提问关于量词Abercrombie遇到了一大群岛民讨论推理过程之前，让你放松一下PartII推理符号化问题5：你读了指定的教材，有没有觉得这里的“证明”和你们中学所熟悉的几何证明有什么不同的地方？你选其中一个式子，试试画出它的真值表。记住三个单词问题6：你还记得在中学时怎么推导代数式吗？永真式与逻辑等式逻辑代数推演–一个例子持续的等值变换问题7：但是，我们在推理时多半用“因为…所以…”,那么前面的什么概念能起关键作用呢?逻辑推理ModusPonens问题8：为什么modusponens在逻辑推理中非常重要？问题8:反之，你能理解该如何证明一个如下形式的逻辑表达式为永真式吗（我们称“该式成立”）：PQR,或P(QR)一些常用的永真式关于量词的基本推理规则“有人不喜欢步行”“有人不喜欢步行”的推导过程错在哪儿?课外作业