离散数学笔记（一）

一、命题逻辑：

• 命题的概念：

  命题是一个陈述事实的语句，有唯一的确定的真值，即不能既真又假

  ---

• 命题变元/原子命题：

  一个原子命题可以用命题变元来表示，通常用小写字母来表示命题变元，如:p,q,r等；命题变元是一个变量，取值范围仅为：{T,F}， {1,0}

---

• 命题表达式（递归定义）：

  1）一个命题变元是命题表达式；
  2）若p是命题表达式，则$\neg p$也是命题表达式；
  3）若p和q是命题表达式，则$(p\wedge q),(p\vee q),(p\to q),(p\leftrightarrow q)$也是命题表达式；
  4）只有有限次地应用上述规则形成的符号串才是命题表达式；

---

• 逻辑运算符(优先级降序)：

  否定$\neg$, 合取$\wedge$, 析取$\vee$, 蕴含$\to$（仅1->0为假），双蕴含$\leftrightarrow$（仅取值相同为真）

---

• 成真指派/成假指派：

  含n个变元的一个命题可以看做$B^n\to B$中的一个函数，其中B = {0,1}, $B^n=B\times B\times ...\times B$.
  1）成真指派：对于所有变元的一种指派（赋值），使得命题为真；
  2）成假指派：对于所有变元的一种指派（赋值），使得命题为假；

---

• 永真式（重言式）/永假式（矛盾式）：

  1）永真式：无论其中出现的命题变元如何赋值，取值总是为真，比如$p\vee \neg p$
  2）永假式：无论其中出现的命题变元如何赋值，取值总是为假，比如$p\wedge \neg p$

---

• 逻辑等价：

  两个命题表达式A和B等价，记作：$A\equiv B$，意为：
  对于任意变元指派，A和B的取值相同，即$A\leftrightarrow B$为永真式；

---

• 常见逻辑等价式：

定律名	逻辑等价式
双重否定律	$p\equiv \neg \neg p$
幂等律	$p\equiv p\vee p\equiv p\wedge p$
交换律	$p\vee q\equiv q\vee p$ $p\wedge q\equiv q\wedge p$
结合律	$(p\vee q)\vee r\equiv p\vee (q\vee r)$ $(p\wedge q)\wedge r\equiv p\wedge (q\wedge r)$
分配律	$p\vee (q\wedge r)\equiv (p\vee q)\wedge (p\vee r)$ $p\wedge (q\vee r)\equiv (p\wedge q)\vee (p\wedge r)$
德摩根律	$\neg (p\vee q)\equiv \neg p\wedge \neg q$ $\neg (p\wedge q)\equiv \neg p\vee \neg q$
吸收律	$p\vee (p\wedge q)\equiv p$ $p\wedge (p\vee q)\equiv p$
支配律	$p\vee T\equiv T$ $p\wedge F\equiv F$
恒等律	$p\wedge T\equiv p$ $p\vee F\equiv p$
排中律	$p\vee \neg p\equiv T$
矛盾律	$p\wedge \neg p\equiv F$
归谬律	$(p\to q)\wedge (p\to \neg q)\equiv \neg p$ $p\equiv \neg p\to F$
假言易位	$p\to q\equiv \neg q\to \neg p$ $p\leftrightarrow q\equiv \neg q\leftrightarrow \neg p$
假言析取	$p\to q\equiv \neg p\vee q$
蕴含互化	$p\leftrightarrow q\equiv (p\to q)\wedge (q\to p)$

---

• 语义蕴含：

  命题表达式A语义蕴含B，记作：$A\mapsto B$，意为：
  对于A的任意成真指派，B均为真（_{反之不一定成立}），即$A\mapsto B$ iff $A\to B$为永真式；

---

• 自然推理规则：

  （实质上为一组已经成为公理的语义蕴含式）

规则名	推理式
假言推理	$p,p\to q\Rightarrow q$
取据式	$\neg q,p\to q\Rightarrow \neg p$
假言三段论	$p\to q,q\to r\Rightarrow p\to r$
析取三段论	$\neg p,p\vee q\Rightarrow q$
附加律	$p\Rightarrow p\vee q$
化简律	$p\wedge q\Rightarrow p,p\wedge q\Rightarrow q$
合取律	$p,q\Rightarrow p\wedge q$
消解律	$p\vee q,\neg p\vee r\Rightarrow q\vee r$

---

• 合取范式（CNF）/ 析取范式 （DNF）：

  设命题公式A中出现的命题变元为$p_1,p_2,\dots p_n$，
  1）以Qi表示$p_i或\neg p_i$，i=1,2,…n，称为文字；

  2）称$Q_1\vee \dots \vee Q_k$为$p_1，\dots ，p_n$的一个析取项；$Q_1\wedge \dots \wedge Q_k$为$p_1，\dots ，p_n$的一个合取项（_{注意角标k和n不必相等，也不必连续从1到k,只要是[1,n]的一个子集即可}）；

  3）特别地，当任意$p_i$的文字在析取项中出现且仅出现一次，则称这个析取项为最大项 => 易知最大项只有一种成假指派；当任意$p_i$的文字在合取项中出现且仅出现一次，则称这个合取项为最小项 => 易知最小项只有一种成真指派；

  4）若干个互不相同的析取项的合取称为一个合取范式；若干个互不相同的合取项的析取称为一个析取范式；与命题公式A逻辑等价的合取范式/析取范式称为A的合取范式/析取范式（_{注意：任意命题公式都可转化为若干个合取范式/析取范式}）

  5）特别地，当A的合取范式的所有析取项都是最大项，则称该合取范式为A的主合取范式；当A的析取范式的所有合取项都是最小项，则称该合取范式为A的主析取范式（_{注意：任意命题公式都可转化为唯一的主合取范式/主析取范式}）

  ---

  ---

二、谓词逻辑：

• 谓词：

  谓词逻辑的结构可分解为个体词和谓词。 个体词是可以独立存在的事或物，常项通常用a,b,c等表示，变项通常用x,y,z等表示；谓词则是用来刻划个体词的性质的词，通常用P,Q等表示；而谓词逻辑即由P(x) , Q(x,y,z)等表示；

---

• 量词：

  若P(x)是谓词，则$\forall$ x P(x) 表示对于所有的x, 有P(x), 称$\forall$为全称量词；
  若P(x)是谓词，则$\exists$ x P(x) 表示对于所有的x, 有P(x), 称$\exists$为特称量词；

---

• 多量词的等价换序：

  $\forall x\forall yP(x,y)\equiv \forall y\forall xP(x,y)$
  $\exists x\exists yP(x,y)\equiv \exists y\exists xP(x,y)$
  （注意多个量词一般不能随意交换顺序，比如：$\forall x\exists yP(x,y)与\exists y\forall xP(x,y)$不一定等价，举例：令P(x,y) 表示“y > x”）

  ---

• 谓词逻辑的推理规则：

规则名	推理式
全称例示	$\forall xP(x)\Rightarrow P(c)对于任意的c$
全称生成	$P(c)对于任意的c\Rightarrow \forall xP(x)$
特称例示	$\exists xP(x)\Rightarrow P(c)对于某个c$
特称生成	$P(c)对于某个c\Rightarrow \exists xP(x)$

---

---

三、证明方法：

• 直接证明：

  由已知定理和前提条件，多次运用推理规则进行证明

• 反证法：

  原理为假言易位，即$p\to q\equiv \neg q\to \neg p$

• 归谬法：

  原理：$q\equiv \neg q\to F$

• 存在性证明：

  • 构造性证明：直接举出一个实例

  • 非构造性证明：设计一组条件，证明一定能在条件下找到一个实例

• 任意性证伪：

  即否命题的存在性证明

• 任意性证明：

  一般直接证明 （如数学归纳法）

• 存在性证伪：

  即否命题的任意性证明

---

---

---