离散数学课程笔记01

离散数学基础：逻辑与证明

本章概述

本章主要介绍离散数学中最基础的内容，逻辑与证明。

其中，逻辑的部分我们主要介绍 propositional logic 和 predicates。然后，我们介绍数理证明和相关的方法。

Propositional Logic 命题逻辑