基础：逻辑和证明

前言

逻辑规则给出数学语句的准确含义。
逻辑是所有数学推理及所有自动推理的基础。
为了理解数学，我们必须理解正确的数学论证（即证明）是由什么组成的。
只要证明一个数学语句是真，我们就称之为一个定理。
围绕一个论题的定理的集合就将我们对这个论题的认知组织起来。
为了学习一个数学论题，我们需要积极的构造关于此论题的数学论证，而不仅仅是阅读说明。
因为一个定理的证明常常可能需要修改结论以适应新情景，所以证明在新思想的发展中扮演了极其重要的角色。

本章目标

解释一个正确的数学论证的组成
介绍构造数学论证的工具
介绍一系列不用的证明方法以证明不同的类型的结果
介绍构造证明的策略
介绍猜想的概念 => 解释学习猜想来发展数学的过程

关于本章目标有以下说明：
    1. 当本章完的时候，要用自己的话去解释本章的目标
    2. 实际理解每个目标的含义

1. 命题逻辑

1.2 命题

问题

1. 异或的实际作用，即异或用在哪，这里我知道其真值表，p $\oplus$ q 表示 p 和 q当中只有一个命题为真时，该命题为真。

1.3 条件语句

要点

1.真值表

p	q	p $\to$ q
T	T	T
F	T	T
T	F	F
F	F	F

解释一下为什么当 P = F 时 p $\to$ q 时为真：

比如老师说：“你期末离散考满分的话，我将评给你奖学金”。
结果你最终没有得到满分，但是你老师仍然评给你奖学金了，但是我们不能任我上述