数理逻辑基础第3章-1.ppt

B?=B?(x1,…,xn)= ?b1…bsz1…zta1…asy1…ytB(x1,…,xn)| 那么，x1,…,xn 都在B?中出现，于是令 Γi? = ? B?FΓ|，Ai? = ? B?F Ai | （1≤ i≤ k）并且 对于下面将要出现的任何合式公式或命题形式 C，令 C? = ? B? F C | 由引理3.12，Γi?，Ai? （1≤ i≤ k）中的公式都是合式公式。现要证明 (2) Γ1?├ A1?,…,Γk?├ Ak? （即Γ?├ A?） 是FI中关于Γ?├ A? 的形式证明。 由于Γi├ Ai，不难证明：Γ?├ A? 。 （要通过分析） 5。 现在，Γ?，A? 中的公式与中相应的Γ’，A’公 式之间的区别在于： 得到 Γ’ 和 A’ 时是在 Γ 和 A 中以 B 代入 F 得到 Γ? 和 A? 时是在 Γ 和 A 中以 B? 代入 F 由 B? 与 B 的区别，并且根据个体词代入定理和约束 变元替换定理，就可以由 Γ?├ A? 得到 Γ’├ A’ 这样就证明了 Γ├ A ? Γ’├ A’ □ 定理3.13（P174 23.5）（谓词代入定理） 如果在定理3.12中除原来的条件外，再假设B满足以下条件： B(a1,…,an)├ E!a 其中的 a 是任一 ai（i=1,…,n）的子项 ，那么，定理3.12 在 F?！和 FfI！也成立。 定理3.14（23.6）（命题词代入定理） 设Γ’ = ?BpΓ|，A’ = ?BpA |，并且Γ’,A’是合式公式的有穷序列，那么 [1] Γ├ A ? Γ’├ A’ 证明 这是定理3.12的特例，与无参过程调用情况一致。 □ 下面讨论函数词代入问题。 设 A：合式公式; f：f ?φ(A)，n 元函数词; b(x1,…,xn)：至多为 n 元项形式,x1,…,xn互不相同； 令 b＝b(x1,…,xn)，我们要经下列步骤，从 A 得到 X 。 取 g：n 元函数词并且 g ?φ(A,b)，令 X1＝ ?gfA |， 又在 X1中任取一个项形式：g(a11,…,a1n)，使得 g ?φ(a11,…,a1n)，令 b(a11,…,a1n)= ? a11…a1nx1…xn b|，再令 X2＝? bgX1|，得到公式X2，如此继续，逐步将 Xi中的g 全部替换掉，最后得到 X，X 称为 A 中以项形式 b(x1,…,xn)代入 f 而得，记作 X＝? bfA | 。 若 Γ＝A1,…,Am ， 则令 ?bfΓ|＝?bfA1 |,…,?bfAm | 在代入函数词时，也可以用 n 元项形式 ?xB(x1,…,xn,x)代替 b , 这样， 令 ?xB(x)= ?xB(x1,…,xn,x)， 于是有：??xB(x)fA | , B(x1,…,xn,x)：x =b(x1,…,xn) 定理3.15（P175 23.7）（函数词代入定理） 设Γ’ = ?bfΓ|，A’＝?bfA |,并且Γ’，A’是合式公式的有穷序列（对于F?！和 FfI！，还要假设x1,…,xn ?φ（b(x1，…，xn)）中出现）（防止代入时丢失信息）。那么， [1] Γ├ A ? F’├ A’ ? 合取范式和析取范式 范式的意义与作用（已在命题逻辑中介绍） 定义3.2（P177.24.1）（合取式，析取式） A1∧…∧An 称为 A1,…,An 的合取式，Ai(i=1,…,n)称为合取式的合取支，A1∨…∨An 称为 A1,…,An 的析取式，A1,…,An 称为 A1∨…∨An 的析取支。在不引起混淆时，合取支和析取支通称为支。 定义3.3（基子句、子句）原子公式（包括命题词和谓词逻辑中的原子公式）和它们的否定式称为基子句 。以基子句为支的合取式和析取式称为子句，或分别称为合取子句和析取子句。 定义3.4（24.3）（合取范式、析取范式） 以析取子句为支的合取式称为合取范式，以合取子句为支的析取式称为析取范式。 实例见P178 例1。 定理3.17（P178，24.1） 关于命题逻辑中合式公式均可以化为合取范式或析取范式的这个定理已介绍。 定义3.5（24.4）（恒真公式，恒假公式） 命题逻辑中的 A 称为恒真公式，若对 ?φ,φ(A)≡t；A 称为恒假公式，若 ?φ，φ(A)≡f。 定理3.18（P182 24.2） 一合取范式是恒真公式，当且仅当，它的每个子句中都出现