离散数学：第三章 第二节 谓词逻辑的公理系统 [兼容模式].pdfVIP

第三章 公理系统 §3.2 谓词逻辑的公理系统 §3.1 命题逻辑的公理系统 一阶谓词逻辑公理系统所使用的符号如下： §3.2 谓词逻辑的公理系统 1. 个体变元x 1 , x2 , … 作业 2. 个体常元a1 , a2 , … 3. 对于每个正整数n ，n 元函数符号f n ,f n , L 1 2 4. 对于每个正整数n ，n 元谓词符号P n , P n , L 1 2 5. 联结词符号¬，→ 6. 量词符号∀ 7. 括号(，) 8. 逗号 一阶谓词逻辑的项定义如下： 有以下五个公理模式，其中A , B, C 可为任意公式， 1. 个体变元是项； i 可为任意正整数。 2. 个体常元是项； 公理模式一 A →(B →A) 3. 若t ,…, t 是项，则f n (t , L,t )是项。 公理模式二 (A →(B →C )) →((A →B) →(A→C )) 1 n i 1 n 公理模式三 (¬A →¬B) →(B →A) 一阶谓词逻辑的公式定义如下： n 公理模式四 1. 若t1 ,…, tn 是项，则P (t , L,t )是公式； i 1 n ∀x A →Axi ，其中项t 对于A 中的x 可代入 2. 若A 是公式，则¬A 是公式； i t i 公理模式五 3. 若A , B 是公式，则(A →B) 是公式； ∀x (A →B) →(A →∀x B) ，其中变元x 不是A 4. 若A 是公式，则∀xi A 是公式。