第六章谓词演算 教学重点与要点 >性质命题内部结构的现代谓词分析 关系命题内部结构的现代谓词分析 元谓词演算的自然演绎推证分析 二元谓词演算的自然演绎推证分析
第六章 谓词演算 教学重点与要点 ➢ 性质命题内部结构的现代谓词分析 ➢ 关系命题内部结构的现代谓词分析 ➢ 一元谓词演算的自然演绎推证分析 ➢ 二元谓词演算的自然演绎推证分析
现代谓词演算的认知角度 传统谓词逻辑 现代谓词逻辑 (局限性:单称归全称;关系作性质;对结构缺乏深层把握) 现代谓词逻辑 谓词演算方法 (自然演绎法、公理化方法) (关注简单命题及其推理有效性) 元谓词演算二元谓词演算
现代谓词演算的认知角度 传统谓词逻辑 现代谓词逻辑 （局限性：单称归全称；关系作性质；对结构缺乏深层把握） 现代谓词逻辑 谓词演算方法 （自然演绎法、公理化方法） （关注简单命题及其推理有效性） 一元谓词演算 二元谓词演算
第一节简单命题的内部分析 传统谓词逻辑的局限性 【实例分析】 所有的马都是动物, 所以,所有的马头都是动物头
第一节 简单命题的内部分析 一、传统谓词逻辑的局限性 【实例分析】 所有的马都是动物, 所以，所有的马头都是动物头
命题逻辑的局限性 在研究命题逻辑中,原子命题是命题演算中最基本 的单位,不再对原子命题进行分解,这样会产生两大 缺点: (1)不能研究命题的结构,成分和内部逻辑的特征; (2)也不可能表达二个原子命题所具有的共同特征, 甚至在命题逻辑中无法处理一些简单又常见的推理过 程
命题逻辑的局限性 在研究命题逻辑中， 原子命题是命题演算中最基本 的单位，不再对原子命题进行分解， 这样会产生两大 缺点： （1）不能研究命题的结构，成分和内部逻辑的特征； （2）也不可能表达二个原子命题所具有的共同特征， 甚至在命题逻辑中无法处理一些简单又常见的推理过 程
二、现代谓词逻辑对性质命题的内部结构的分析 (一)单称命题及其逻辑结构 1、单称命题的含义 单称命题是陈述某个特定个体对项具有或者不具有某种性质的简单命 题。例如:西安是历史名城。 2、单称命题的构成要素分析 单称命题由个体词和谓词组成。单称命题中的个体词只表示某个特 定的单一对象,称为个体常项,用英文小写字母abcd 来表示 性质命题中的谓词称为一元谓词,用大写的英文字母E,F,G,H,…,.来 表示。 (个体词、谓词、个体常项、一元谓词) 3、单称命题逻辑结构的公式刻画
二、现代谓词逻辑对性质命题的内部结构的分析 （一）单称命题及其逻辑结构 1、单称命题的含义 单称命题是陈述某个特定个体对项具有或者不具有某种性质的简单命 题。例如：西安是历史名城。 2、单称命题的构成要素分析 单称命题由个体词和谓词组成。单称命题中的个体词只表示某个特 定的单一对象，称为个体常项，用英文小写字母a,b,c,d,……来表示。 性质命题中的谓词称为一元谓词，用大写的英文字母E,F,G,H,…..来 表示。 （个体词、谓词、个体常项、一元谓词） 3、单称命题逻辑结构的公式刻画