第二章谓词逻辑 §1谓词的概念与表示法 §2命题函数与量词 §3谓词公式与翻译 §4变元的约東 ■§5谓词演算的等价式与蕴含式 §6前束范式 §7谓词演算的推理理论第二章 谓词逻辑 ◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论