复习 阶谓词演算的符号化: 个体变元:x, 个体常元:a,b,c, 谓词:P",G",H 函数:門,gn,bn, 量词:全称量词v,存在量词彐 联结词:-,V,∧,←,→ 用这些符号可以更深入描述命题的结构。 怎么对这些符号进行推理? 下面直接建立推理的形式系统。✓ : • : x, y, z, . . . • : a, b, c, . . . • : Fn, Gn, Hn, . . . • : fn, gn, hn, . . . • : ∀, ∃ • : ¬, ∨, ∧, ←, ↔ ✔ ✕ ✔ 1