本章内容假定读者已经掌握了一阶谓词逻辑的演算方法，如果对这部分内容不熟悉，请先学习离散数学中关于一阶谓词逻辑部分的内容。

4.1 一阶谓词演算的基本体系