符号逻辑学课件.ppt

符号逻辑学;逻辑的历史背景;逻辑的基本任务;符号逻辑的定义;逻辑的基本组成部分;命题逻辑语言（PL）;原子命题与复合命题;基本逻辑联结词;真值表介绍;基本文法规则;命题逻辑中的推理;命题逻辑等值律;德摩根定律;逻辑恒真式与矛盾式;推理规则——直接证明;推理规则——间接证明;项链法与穷举法;命题逻辑演算系统;布尔代数应用;简单命题逻辑推理例题;谓词逻辑语言（FOL）;谓词逻辑中的语法;限量词：全称与存在;谓词公式的构造;特殊谓词与函数符号;谓词逻辑中的语义;谓词逻辑——真值赋值方法;谓词逻辑实例分析;躲避歧义：优先级与括号;谓词逻辑的等值与变形;谓词逻辑的推理规则;归纳法与递归定义;自由变元与约束变元;归结原理简介;谓词逻辑与证明系统;谓词逻辑的判定与不可判定性;命题逻辑与谓词逻辑比较;哥德尔不完备性定理引介;模型论初步;证明论与可判定性;非经典逻辑简介;数理逻辑与人工智能;数学基础中的逻辑;电路与硬件中的逻辑;程序设计与自动推理;哲学中的逻辑分析;符号逻辑研究前沿;学习符号逻辑的方法推荐;总结与回顾;课程答疑与展望