第一章 基础：逻辑和证明

逻辑是所有数学推理的基础，也是所有自动推理的基础。对计算机的设计、系统的规范说明、人工智能、计算机程序设计、程序设计语言以及计算机科学的其他许多研究领域，逻辑都有实际的应用。

这是《离散数学及其应用》第一章的学习笔记。本章的内容包括：

• 1.1 命题逻辑
• 1.2 命题逻辑的应用
• 1.3 命题等价式
• 1.4 谓词和量词
• 1.5 嵌套量词
• 1.6 推理规则
• 1.7 证明导论
• 1.8 证明的方法和策略