数理逻辑是用数学方法研究推理的形式结构和推理的规律的数学学科.所谓数学方法，就是用一套有严格定义的符号，即建立一套形式语言来研究，因此数理逻辑也称为符号逻辑.数理逻辑的基础部分是命题逻辑和谓词逻辑.本章主要讲述命题逻辑.
