逻辑学六章.pptVIP

谓词演算 教学重点与要点 性质命题内部结构的现代谓词分析 关系命题内部结构的现代谓词分析 一元谓词演算的自然演绎推证分析 二元谓词演算的自然演绎推证分析 现代谓词演算的认知角度 传统谓词逻辑 现代谓词逻辑 （局限性：单称归全称；关系作性质；对结构缺乏深层把握） 现代谓词逻辑 谓词演算方法 （自然演绎法、公理化方法） （关注简单命题及其推理有效性） 一元谓词演算 二元谓词演算 第一节 简单命题的内部分析 一、传统谓词逻辑的局限性 【实例分析】 所有的马都是动物, 所以，所有的马头都是动物头。 命题逻辑的局限性 在研究命题逻辑中， 原子命题是命题演算中最基本 的单位，不再对原子命题进行分解， 这样会产生两大 缺点： （1）不能研究命题的结构，成分和内部逻辑的特征； （2）也不可能表达二个原子命题所具有的共同特征， 甚至在命题逻辑中无法处理一些简