n 例：苏格拉底论断q 前提n “所有的人都是要死的”n “苏格拉底是人”q 结论n “所以苏格拉底是要死的”PQRP Q R不是命题演算的有效推理？问题的提出 例 1：小张是大学生 2：小李是大学生 Q1：2大于3 Q2：6大于4 不同原子命题之间是有内在联系的，但命题逻辑限定原子命题是不能拆分的，无法研究这种内在联系 解决问题的方法： 分析原子命题，分离其主语和谓语 考虑一般和个别，全称和存在命题逻辑的局限性刻划个体的性质刻划两个个体的关系第4章 一阶逻辑基本概念3数理逻辑命题逻辑命题 复合命题命题变项公式真值 表等值 演算公式类 型范式推理理论一阶逻辑知识结构图 能够独立存在的事物，思维的对象 通常用小写英文字母a、b、c、.表示个体常项 用小写英文字母x、y、z.表示任何个体，则称这些字母为个体变项5个体个体在原子命题中，用来刻划一个个体的性质或几个个体之间关系的成分称为谓词。 刻划一个个体性质的词称为一元谓词； 刻划n个个体之间关系的词称为n元谓词。谓词与个体词一起才能表示命题。 用A(a)表示“a具有性质A”(或“a属于A类”)， 用B(a1,a2,an)表示“a1,a2,
