第二章 谓词辑.pptVIP

第二章 谓词逻辑 2.1谓词、个体和量词 在命题逻辑中，命题被当作一个基本的，不可分割的单位，只研究由原子命题和联接词所组成的复合命题；因而无法研究命题的内部结构及命题之间内在的联系。 例 在命题逻辑著名 三段论 （1）凡人都是要死的， （2）苏格拉底是人， （3）所以苏格拉底是要死的。 第一部分 数理逻辑 The end of this PaRt. Thanks ! 例：试说明下列各公式的类型 (1) (?x) (?y) (P (x, y) ∧ Q (x, y) → P (x, y)) (2) (?y) (?x) P (x, y) → (?x) (?y) P (x, y) (3)((?x) P (x) → (?x) Q (x)) → (?x) (P (x) → Q (x)) (4)((?x) P (x) → (?x) Q (x)) → (?x) (P (x) → Q (x)) 解:(1)因为P∧Q → P为永真公式， 故不论何种指派P (x, y) ∧ Q (x, y) → P (x, y)恒为真， 所以(?x) (?y) (P (x, y) ∧ Q (x, y) → P (x, y))为永真公式。 (2)若(?y) (?x) P (x, y) 为真， 则存在b使(?x) P (x, b)为真， 从而(?x) (?y) P (x, y)