数理逻辑基础---期末总结

我打算以后都这么复习了，因为书上的东西老要忘掉。 我们是法方的教材所以可能会略有不同。 我不会讲得太细，一些概念自己去搜 大概是： 三段论 词和公式 树和括号 真值表和逻辑公式化简 合取范式析取范式及其转化 存在，任意全称量词及其否定式 三段论–syllogisms 三段论包括一个大前提，一个小前提，一个结论 比如著名的“苏格拉底三段论”： 大前提：所有的人都是要死的； 小前提：苏格拉底是人； 结

>>阅读原文<<