全国计算机等级考试四级考试大纲

（1）命题及其符号化。

（2）命题公式及其分类。

（3）命题逻辑等值演算。

（4）范式。

（5）命题逻辑推理理论。

（6）谓词与量词。

（7）谓词公式与解释。

（8）谓词公式的分类。

（9）谓词逻辑等值演算与前束范式。

（10）谓词逻辑推理理论。

2．集合论：

（1）集合及其表示。

（2）集合的运算。

（3）有序对与笛卡尔积。

（4）关系及其表示法。

（5）关系的运算。

（6）关系的性质。

（7）关系的闭包。

（8）复合关系与逆关系。

（9）等价关系与偏序关系。