数理逻辑——谓词逻辑

1）谓词的概念与表达

2）命题函数与量词

3）谓词公式与翻译

4）变元的约束

5）谓词演算的等价式与蕴含式

6）前束范式

7）谓词演算的推理理论