2.1 一阶逻辑的基本概念
2.2 一阶逻辑谓词公式及解释
2.3 一阶逻辑等价式