南邮离散数学第2章谓词逻辑

- 第二章　谓词逻辑 - 谓词的概念与表示命题函数与量词谓词公式与翻译变元的约束谓词演算的等价式与蕴含式谓词演算的推理理论 - 在命题逻辑中，P,