离散数学¶ 根据《数理逻辑与集合论》，石纯一等，清华大学出版社与清华大学计算机系“离散数学”课程整理。 第一章 命题逻辑的基本概念 第二章 命题逻辑的等值和推理演算 第三章 命题逻辑的公理化 第四章 谓词逻辑的基本概念 第五章 谓词逻辑的等值和推理演算 第九章 集合 评论