数理逻辑是用数学方法研究思维规律的一门学科。这里所说的数学方法是指，用一套数学的符号系统来描述和处理思维的形式与规律。因此，数理逻辑又称为符号逻辑。
命题逻辑是数理逻辑的基础，是学习数理逻辑的必备入门知识。它以命题为基本的研究对象，而命题是指一个能够确定是真是假的陈述句。

本章内容包括：命题及其真值、联接词、命题公式及命题符号化、命题公式的真值、命题演算、命题逻辑推理。

学习本章应该达到如下目标：
（1）准确掌握命题及其真值的概念，掌握命题符号化的方法，能够基于自然语言生成正确的命题公式；
（2）充分掌握命题演算的规则和方法；
（3）全面掌握命题逻辑推理方法。