离散数学及其应用——ch1逻辑与证明

     “逻辑与证明”这一章就讲了三个故事：命题逻辑、谓词逻辑和数学证明。逻辑是数学推理的基础，也是这门学科的基础，以后我们在算法和计算机程序中会大量用到证明，这章主要介绍逻辑和证明的各种工具，方法，策略。

一.命题逻辑

     1.1节和1.2节介绍了命题逻辑，首先我们要搞清楚“命题”的概念，“命题”是一种声明性的句子，它要么为真，要么为假，但不会既是真的，又是假的。举个例子，句子“今天是星期天”就是一个命题，因为如果今天不是星期天，那么它就为假，否则，如果今天是星期天，这句话就为真。而“我要去吃饭”，或者“x > 3”就不是命题，因为对它们来说，没有真假可言。一般来说，我们关心的是多个命题之间的各种联系，因此，我们用“命题变量”来表示命题，如p：4>3，q：6>9，然后，我们就可以研究多个命题组成的复合命题（Compound Proposition），这些复合命题是由逻辑连接词或者条件语句构成的。

1.逻辑连接词

     逻辑连接词包括否定、合取、析取和异或运算。否定即对一个命题的取否，如“今天是星期天”取否就是“今天不是星期天”；合取表示的则是“p and q”，当p和q都为真时才为真；析取表示“p or q”，当p或者q有一个为真就为真；最后一个是异或，表示要么p为真，要么q为真，但不会两者都同时为真。

2.条件语句

     也叫“蕴含”，包括蕴含和双蕴含。对于蕴含“p -> q”，只有当p为真但q为假时才会为假，其他情况，包括p为假，q为真，或者p和q都为假时，该蕴含式都为真。要理解这一点，一个关键的技巧就是把 “p -> q”看成一种“承诺”，或者“合同”。那么“如果我当选了总统，我就会降低赋税。”这个蕴含式，只有当我的确当选了总统，但是并没有降低赋税时，它才为假，因为此时我并未履行这个承诺，它成了一句可耻的谎言。如果我没当选，但赋税降低了，或者我既没有当选，赋税也没降低，就不能说这句话是假的。这个技巧很关键，有助于理解很多与蕴含式有关的概念，比如 “p -> q”还可以表达成“p only if q”，为什么可以表达成这句话，同样也可以用这个技巧来理解—— “p only if q”表示 如果q是假的，p就不可能为真，那么，当p为真，q为假，这句话就为假，那么就跟 “p -> q”一样了。

     双蕴含其实就是“p <--> q”，因为 “p -> q”表示“p only if q”，而 “q -> p”表示“p, if q”，所以 “p <--> q”就可以表示成“p if and only if q”，这就是“当且仅当”的来历。剩下要注意的问题就是复合命题的真值表以及英语句子和复合命题之间的互相转换问题。书上还列举了命题逻辑在计算机科学中的三个应用：系统需求说明、布尔检索以及逻辑和位运算。

3.逻辑等价

     要搞懂逻辑等价，首先要介绍永真式的概念。复合命题可以分为三类：永真式、矛盾和可能式。永真式就是真值永远为True的复合命题，无论复合命题内的命题变量如何取真值。矛盾式则正好相反，它是真值永远为False的复合命题，而无论复合命题内的命题变量如何取值。可能式就是既不是永真式也不是矛盾式的那些复合命题。

     如果两个复合命题在所有情况下都有相同的真值，那么这两个复合命题就称为“命题等价”的，它怎么与“永真式”的概念联系起来呢？如果 “p <--> q”是永真式，那么复合命题p和复合命题q就是逻辑等价的。具体的证明写在书上了。剩下的内容就是对一些常用逻辑等价式的介绍，可以大概了解一下，其中注意一下常用的德摩根公式。一般，证明逻辑等价有两种方法，对命题变量较少的复合命题可以通过真值表证明；或者我们可以利用这些常用的逻辑等价式来进行“等价替换”证明。

二.谓词逻辑

     随后的1.3节和1.4节介绍了谓词逻辑，谓词逻辑是一种建立在命题逻辑基础上的更强大的工具。谓词逻辑分为“谓词”和“量词”。假设我们有一个命题函数P(x) : x is greater than 3。这里的x就称为“变量”，“ is greater than 3”就称为“谓词”，它其实就是英语句法结构中的“谓语”部分。

     量词则表示的是对于一个给定范围内的元素来说，谓词到底真到哪种程度。其中最重要的概念就是“论域”——所有的量词都是围绕论域展开讨论的，有时候论域一变，量词的真值就会跟着改变，因此必须指定论域，否则量词就失去意义了。量词分两种——全称量词和存在量词，全称量词的含义是“对于域中所有的元素来说P(x)为真”；存在量词的含义就是“域中存在一个元素x使得P(x)为真”。在这个基础上，我们稍微注意一下“受限域量词”、“量词对变量的绑定”以及“量词表达式的否定”三个概念。接下来，就是比较难的概念“嵌套量词”，难点在于嵌套量词与数学语句和英语句子之间的互相翻译问题，拿捏不好会翻译得词不达意。特别是仅用全称和存在量词对“exact one”和“exact two”的翻译比较复杂。相关的例子请参考书上的例题和做错了的习题。理解嵌套量词的一个很重要的技巧就是将嵌套量词想象成“多重循环”，其中全称量词和存在量词都对域中的元素进行遍历，但存在量词就好像有一个break语句一样，满足条件就退出。当全称量词和嵌套量词混搭使用的时候，要注意量词的顺序会造成很大的不同。

三.数学证明

1.推理规则

     数学证明在本质上是一种有效论证，它建立了某个数学语句的真值（为真则该语句成为定理）。“论证”是指一系列以一个结论结尾的数学语句，除了结论以外的句子都称为“前提”；“有效”是指如果前提都是真的，那么结论一定为真。我们通常将论证中的命题替换为命题变量，然后研究它的“论证范式”（argument form）。我们建立起一些简单的论证范式作为基础，称为“推理规则”，有12种常用的推理规则，其中前八种（分离规则、拒取式、假言三段论、析取三段论、附加式、化简式、合取式和消解式）用于命题逻辑，后四种（全称实例化、全称泛化、存在实例化和存在泛化）用于谓词逻辑。

2.证明的战略

     数学证明是一项很有挑战性的任务，当我们在展开证明时，我们应当采取如下战略：

（1）用定义替换待证明式子中的术语和概念——即波利亚倡导的“回到定义上去”。

（2）仔细研究假设和结论的含义，洞察假设和结论中一些可能是很微妙的“线索”。

（3）采取多种战略证明它，首先，如果不能直接看出思路，就“逆向推理”（“倒着干”），从结论出发，看看能不能得到假设，或者公理，或者其他已经证明的定理；其次，可以利用已经被证明了的定理，特别是当我们所要解决的问题是以前一个已经解决的问题以一种稍微不同的形式出现时，思考：我能利用以前定理的证明吗？我能利用它的方法吗？我能利用它的结论吗？我能利用它的方法和结论吗？如果你有非凡的洞察力，有时候看上去毫不相干的题目你也能找到有关联的地方，题外话，呵呵；最后，如果你实在证明不了，可以尝试举反例，如果该定理被推翻了，也就不用证明了。更详细的描述参见波利亚的著作。

3.证明的战术

     除了战略外，我们要使用灵活的战术去开展证明。一般的证明方法有“直接证明”和“间接证明”两种。

（1）直接证明。从假设证明到结论称为直接证明，在直接证明中可以用的方法有分情况证明、存在性证明和唯一性证明三种，当然，使用是有条件的。分情况证明常用于一开始没有什么明显的线索可以开展证明，但分情况后得到的额外信息却有助于证明的进展这种情况。分情况证明的一个特殊例子就是“穷举证明”，对某些证明题我们可以考虑很少一部分情况就得到证明结果，比如一些证明某等式有无整数解的问题。在分情况证明中一种特殊的技巧就是大名鼎鼎的“不失一般性地”，这种证明技巧常常只证明一种情况A，而其他的各种情况都可以“规约”到这种情况下。存在性证明用于证明存在量词形式的证明题，即存在满足某性质的元素，这类存在性证明可以以构造式的和非构造式的两种方法来开展证明。“构造式”证明就是我们找到一个能够满足此性质的元素c；“非构造式”证明就是用其他的方式去证明这个存在量词。唯一性证明就是一种特殊的存在性证明，它在证明存在的基础上进一步证明唯一性，因此包含两个步骤：先证明存在性，然后证明唯一性。

（2）间接证明。间接证明并不是从假设证明到结论。间接证明有两种方法——逆否证明和归谬证明（即名震千古的“反证法”），两者既有区别又有联系，两种方法都假设结论为假，但归谬证明比逆否证明多了一个假设前提也为真。