2.Kc的公式归纳定义如下: (21)若t1,t2,……,tn为C的项,F"为Kc的一个7 元谓词变元符号,则F"(t1,t2,…,tn)为Kc的 公式 原子公式 22)若a1,a2为Kc的公式,则(=a1),(a1→a2)为 Kc的公式 (2.3)若a为C的公式,x为Kc的个体变元符号,则 (x)a为Kc的一个公式 注:KC的形式语言是Nc的形式语言的一个子语言,因而它们使 用如下相同概念和约定 自由与约束 括号省略规则 P中公式在Kc中的代入实例 简写公式 (aVβ)为(-a)→)的简写; (aA)为((a→(-)的简写; (aB)为(a→)∧(→a)的简写; (x)a为(-(x)(-a))的简写2. KL 1{5f!"r (2.1) t t1, t2, ··· , tn L  Fn KL / n .Æ.*85 Fn(t1, t2, ··· , tn) KL 1{ /A1{ (2.2) t α1, α2 KL 1{5 (¬ α1), (α1 →α2) KL 1{ (2.3) t α L 1{ x KL /.*85 (∀x)α KL /1{ v KL {-| NL {- /A-$$az 'r.i90! • B(,0} • R8w]45 • P =1{3 KL = syV • E1{ (α ∨ β) ((¬ α)→β) E (α ∧ β) (¬ (α → (¬ β))) E (α↔β) ((α→β) ∧ (β→α)) E (∃x)α (¬ ((∀x)(¬ α))) E 2