本书的第一篇，深入探讨了数理逻辑的基础知识。首先，第1章——命题逻辑，从基本概念开始，介绍了命题的定义（1.1），接着阐述了联结词（1.2）在公式中的运用，以及命题公式翻译和逻辑关系（1.3-1.5）。你将学会如何判断命题的等价和蕴涵，以及对偶和范式的概念（1.6）。接着，通过实践（1.7），掌握命题演算推理的技巧，并了解其实际应用（1.8）。每章都配有详尽的例题解析，帮助你巩固理解（1.9）。
第2章转向谓词逻辑，这里探讨了谓词和量词（2.1），以及如何构建和翻译谓词公式。章节内容涵盖了约束变元和自由变元的区别（2.2-2.3），以及谓词公式的逻辑关系和前缀范式（2.4-2.5）。这一部分的核心是谓词演算推理的实践（2.6），并探讨其在实际问题中的应用（2.7）。