第四章等 一阶逻辑基本概念.pptVIP

一阶逻辑基本概念 第四章 一阶逻辑基本概念 引言 命题逻辑中： 原子命题是命题演算中最基本的单位，不再对原子命题进行分解。 缺点： 无法研究命题的内部结构； 无法表达命题之间的内在联系和数量关系； 无法处理一些简单又常见的推理过程。 引言 例：苏格拉底论证是正确的，但不能用命题逻辑的推理规则验证结论的有效性。 p：所有的人总是要死的。 q：苏格拉底是人。 r：所以苏格拉底是要死的。 (p?q)?r不是重言式，不能判定p?q?r 。 谓词逻辑：对原子命题进行了再分，引入个体词、谓词、量词等概念。 4．1 一阶逻辑命题符号化 个体词和谓词 在谓词逻辑中，可将原子命题分解为谓词与个体词两部分。 如“苏格拉底”、“张三”是个体词，“…是要死的”是谓词。 个体词：命题中所描述的对象。 如李明，自然数，计算机，思想等。 可以是具体的，也可以是抽象的。 个体词和谓词 谓词：用于刻划个体的性质或个体之间关系。 例，(1)李明是学生。 (2)张亮比陈华高。 (3)陈华坐在张亮与李明之间。 个体词： 李明， 张亮， 陈华 谓词： “…是学生”， “…比…高”， “…坐在…与…之间”。 通常，用大写字母表示谓词， 小写字母表示个体词。如， 上述命题可分别表示为： 个体词和谓词 一般地，由n