离散数学及其应用——第一章基础：逻辑和证明

命题逻辑

命题

命题：一个陈述语句（陈述事实的语句），或真或假，但不能既真又假。
命题变量：代表命题的变量，用字母表示，例如p,q,s,r…。
真命题，真值用T表示；假命题，其值用F表示。
原子命题：不能用简单的命题来表示的命题。
命题演算（命题逻辑）：设计命题的逻辑系统，它最初是2300多年前由古希腊哲学家亚里士多德系统地创建的。
命题否定：若 p 为一命题，则 ┐p 为 p 的否命题，其真值与 p 真值相反。——定义1
注意：否定运算符从一个已知命题构造出一个新命题。
复合命题：由已知命题用命题演算符组合而来。

真值表：

联结词：
合取：令 p 与 q 为命题，则p、q的合取即命题“ p 并且 q ”，记作 p∧q 。当 p 和 q 均为真时，p∧q 命题为真，否则为假。
析取：令 p 与 q 为命题，则 p、q 的析取即命题“ p 或 q ”，记作 p∨q 。当 p 和 q 均为假时，p∨q 命题为假，否则为真。
异或：令 p 与 q 为命题，则 p、q 的异或，记作 p⊕q 。当 p 和 q 中恰有只有一个为真时命题为真，否则为假。

真值表：

条件语句

概念：
蕴含：令 p 和 q 为命题，条件语句 p→q 是命题“ 如果 p ,则 q ”。当 p 为真而q为假时，p→q 为假，否则为真。p 成为假设（前件、前提），q 称为结论（后件）。
真值表：

常见表达式：

逆命题：命题 q→p 称为 p→q 的逆命题。
逆否命题：命题 ┐q→┐p 称为 p→q 的逆否命题。
反命题：命题 ┐p→┐q 称为 p→q 的逆否命题。
双向蕴含：令 p 和 q 为命题，双条件语句 p↔q 是命题“ p当且仅当 q ”。当 p 和 q 有同样的真值时，双条件语句为真，否则为假。
真值表：

注意：表达p→q的一些其他常用方式还有“p是q的充分必要条件”“如果p那么q，反之亦然”“p 当且仅当q”“p恰好当q”。p↔q与(p→q)∧(q→p)有完全相同的真值。

逻辑运算符的优先级

逻辑运算和比特运算

布尔变量：如果一个变量的值或为真或为假。1表示为真，0表示假。
真值表：

比特串：0比特或多比特的序列，比特串的长度就是它所含比特的数目。

命题逻辑的应用

系统规范说明：系统规范说明应该是一致的，其不应该包含可能导致矛盾的互相冲突的需求。
语句翻译：把自然语句翻译成由命题变量和逻辑联结词组成的表达式。
布尔搜索：搜索采用命题逻辑的技术。
逻辑谜题：用逻辑推理解决的谜题。
逻辑电路：接受输入信号p1,p2, … , pn，每个信号1位，产生输出信号s1,s2,…,sn，每个信号1位。
如：

命题等价式

永真式、重言式（tautology）：一个真值永远是真的复合命题（无论命题变元真值如何）
**矛盾式（contradiction）：**一个真值永远为假的复合命题。
可能式（contingency）：既不是永真式又不是矛盾式的复合命题。
**永真式和矛盾式的例子：
**

逻辑等价

逻辑等价：在所有可能的情况下都具有相同真值的两个复合命题。
定义：

注意：复合命题p和q是等价的当且仅当对应它们真值的两列完全一致。
逻辑等价式：

注意：
条件命题的逻辑等价式：
双条件命题的逻辑等价式：

构造新的逻辑等价式

原因：复合命题中的一个命题可以用与它逻辑等价的复合命题替换而不改变原复合命题的真值。
如：

命题的可满足性

如果存在一个对其变元的真值赋值使一个复合命题为真，则称其是可满足的。若复合命题对所有变元的真值赋值都是假的，则称其是不满足的。一个特定的使得复合命题为真的真值赋值称为可满足性的问题的一个解。

谓词和量词

谓词：表明语句主语的一个性质。
命题函数: 形式为 P(x1,x3,…,xn) 的语句是命题函数 P 在 n 元组（x1,x2,…,xn），P 也称为 n 位谓词或 n 元谓词。
前置条件：描述合法输入的语句。
后置条件：程序运行的输出应满足的条件。
量化：量化表示在何种程度上谓词对于一定范围内的个体成立。
全称量词：P(x) 对 x 在其论域的所有值为真，记号 ∀。
存在量词：论域中存在一个个体满足P(x)，记号 ∃。
注意：论域规定了变量x所有可能取的值。使用全称量词时必须指定论域，否则语句的全量词化就是无定义的。
唯一性量词：存在一个唯一的x使得P(x)为真，记号 ∃!。
注意：∃!xP(x)这种表示法是指“存在一个唯一的r使得P(x)为真”。(其他表示唯一性量词的词语有“恰好存在一个”、“有且只有一个”。)
量词优先级：量词 ∀ 和 ∃ 比命题演算中的所有逻辑运算符都具有更高的优先级。
全称量词：


存在量词：
有限域上的量词：

量化和循环的关系：遍历

受限域的量词：
变量必须满足的条件直接放在量词的后面。
如：
**变量绑定：**当量词作用于变量x，则说变量的这次出现是约束的。若没有被变量约束或设置为等于某一特定值，则说其是自由的。

逻辑表达式中一个量词作用到的部分称为这个量词的作用域。

涉及量词的逻辑表达式：

量化表达式的否定：

量词的德 · 摩根律

逻辑程序设计：
** Prolog 事实**：通过指定那些满足谓词的元素定义谓词。
** Prolog 规则**：使用Prolog事实定义号的那些谓词来定义新的谓词。

嵌套谓词

一个量词出现在另一个量词的作用域内。
如：
理解涉及嵌套量词的语句：

判断TorF
将量化当作循环：遍历
量词的顺序
当量词均为全称量词或均为存在量词时，可以交换量词顺序，否则交换则会改变表示的意思。如∀x ∃y P(x,y) 与 ∃y ∀x P(x,y) 意义不同，前者表示为对于任意的x都能够存在一个y满足P(x,y)，后者表示为存在一个y，其对任意的x都满足P(x,y)。

两个变量的量化式

推理规则

论证(argument)：指一连串的命题并以结论为最后的命题。
有效性(valid)：指结论或论证的最后一个命题必须根据论证过程前面的命题或者前提（premise)的真实性推出，即一个论证是有效的当且仅当不可能出现所有前提为真而结论为假的情况。
谬论：常见的错误推理。
永真式（ p ∧ ( p → q )) → q 称为假言推理(modus ponens)或分离规则(law of detachment)的推理规则的基础。
有效论证形式：
推理规则

消解式

注意：要使用消解式作为仅有的推理规则来构造命题逻辑中的证明，假设和结论必须表示为子句，这里子句是指变量或其否定的一个析取式。

谬误：不正确的推理，部分谬论看上去时推理规则，其实际上时基于可满足性而非永真式。
全称实例（universal instantiation）：是从给定前提∀x P(x)得出P( c )为真的推理规则，其中c为论域例的一个特定成员。
全称引入（universal generalization）：是从对论域里所有元素c都有P©为真的前提推出∀x P(x)为真的推理规则。
存在实例（existential instantiation）: 是允许从“如果我们知道∃x P(x)，得出在论域中存在一个元素c使得P©为真的推理规则。
存在引入（existential generalization）：是用来从“已知有以特定的c使得P©为真时得出∃x P(x)为真”的推理规则。
量化命题的推理规则

命题和量化命题推理规则的组合使用

证明导论

定理（theorem）：一个能够被证明是真的语句。不太重要的定理有时被称为命题、事实(fact)或结论(result)。用一个证明展示一个定理是真的。
证明（proof）：建立定理真实性的有效论证，证明中可以用到的语句包括公立（axiom）或假设（postulate)。
引理（lemma） ：一个不太重要但有助于证明其他结论的定理。
推论（corollary）：是从一个已经被证明的定理可以直接建立起来的一个定理。
猜想（conjecture）：是一个被提出认为是真的命题，通常是基于部分证据、启发式论证或者专家的直觉。
证明定理方法
直接法、反证法、归谬法、等价法、反例法

证明的方法和策略

穷举证明法：通过检验相对少量的例子来证明。（穷尽所有可能性）
分情形证明法：
存在性证明：
构造性：找出一个物证使命题成立。
非构造性：以某种其他形式来证明命题成立。
唯一性证明