逻辑学是研究思维规律及推理的形式结构的科学。数理逻辑是用数学方法研究推理过程的科学，是计算机科学的理论基础之一。数理逻辑不仅对理解数学推理十分重要，而且在计算机电路设计、计算机程序设计、程序设计正确性的证明、程序设计语言、人工智能等计算机科学的其他领域都有广泛的应用。命题逻辑是数理逻辑的基本组成部分，是以命题为推理的基本单位的逻辑系统。本章介绍命题逻辑的基本知识、基本思想和方法。
