代如实例 定理35设a为P的一个内定理,Q是a在KC中的一个代入实 例,则}KcQ 定理36(1)若卜Kca→B,且Ka,则:KE (2)若卜Kc(a→3,且卜Kc(3→),则Kc(a→) 此命题中的(1)仍记为(M),(2)仍记为(T) 例3.14 若项t对个体变元符号x在a中自由,则:}a(x/t)→彐ra 证 因为(a)(x/t)=-(a(x/t),从而 Vx(a)→(-a)(x/t) (K4) (x(-a)→-(a(x/t)→(a(x/t)→-Vx(=a) (命题内定理) (x/)→=x( 即:}a(x/t)→彐aGVWR LQ 3.5 v α P /g!U α | α 3 KL = /sy V5 KL α LQ 3.6 (1) t KL α→β, l KL α, 5 KL β . (2) t KL (α→β), l KL (β→γ), 5 KL (α→γ). d= (1) qC (M), (2) qC (Tr). R 3.14 t t #/.*8 x 3 α =B(5  α(x/t)→∃xα . s $ (¬ α)(x/t) = ¬ (α(x/t)), $  ∀x(¬ α)→(¬ α)(x/t) (K4)  ∀x(¬ α)→ ¬ (α(x/t))  (∀x(¬ α)→ ¬ (α(x/t))) → (α(x/t)→¬∀x(¬ α)) (dg!U)  α(x/t)→¬∀x(¬ α) (M) B  α(x/t)→ ∃xα 4