第一章命题演算

一、命题概念

1. 命题：能判断真假的陈述句；
   1. 要素：陈述句+能判断真假；
   2. 符号化：小写英文字母或小写英文字母带小标表示；
2. 真值：一个命题表达的判断结果
   1. 真值有：真和假，用True、False或者1、0表示
   2. 真命题：真值为真；
   3. 假命题：真值为假；
   4. 任何命题的的真值都是唯一的；
   5. 命题是数理逻辑最基本的也是最下的研究单位。

二、复合命题与联结词

1. 复合命题：如果一个命题可分解为多个原子命题叫复合命题。
   1. 原子命题：不可再分解的命题；
2. 命题常量：永为真和永为假；
3. 联结词（否定为一元命题，其他均为二维命题）
   1. 否定联结词┐：取命题相反的值；
   2. 合取联结词∧：当且仅当两个命题都为真时，两个命题的合取才为真；
   3. 析取联结词∨：当且仅当两个命题都为假时，两个命题的析取才为假；
   4. 条件联结词→：设p、q均为命题，其条件命题是复合命题，记作p→q；读作如果p那么q或若p则q；当且仅当p为T，q为F时，p→q=F，p称为条件命题的前件，q为条件命题的后件
   5. 双条件联结词↔：当前仅当两个命题的真值相同时（无论真值真假），双条件才为真；

三、命题公式与真值表

1. 合式公式\命题公式：按照规则构成的符号串称为合式公式或命题公式，简称公式
   1. 规则1：单个命题变元和常元是合式公式；
   2. 规则2：如果A是合式公式，它的否定也是合式公式；
   3. 规则3：如果A、B是合式公式，那么它们之间的任何联结关系也是合式公式；
   4. 规则4：当且仅当有限次地应用了规则1、2、3所得到的符号串也是合式公式；
   5. 命题公式一般用大写字母。
2. 命题公式约定：
   1. 最外层括号省略
   2. 优先级顺序为：┐∧∨→↔，有括号先算括号内；
   3. 命题公式的命题变元，也叫命题公式的分量。
3. 设A是命题公式，P1…Pn为A中的所有命题变元，对P1…Pn各指定一个真值，称为对A的一种指派或赋值；
   1. 成真指派：若指定的一种指派使得A的值为真，则称为这组为A的成真指派；
   2. 成假指派：若指定的一种指派使得A的值为假，则称为这组为A的成假指派；
4. 真值表：在命题公式A中，对A的每一个赋值，就确定了A的一个真值，把他们汇列成表，称该表为真值表。

四、等价变换与蕴含式

1. 等价变换：
   1. 设A、B是两个命题公式，设P1…Pn为所有出现于A和B中的原子变元，若给定P1…Pn任一组的真值指派，A和B真值相同则称为A和B是等值的或等价的，记为A⇿B
   2. 命题定律：
      1. 双重否定律：A⇿┐┐A
      2. 交换律：A∨B⇿B∨A和A∧B⇿B∧A
      3. 结合律：(A∨B)∨C ⇿ A∨(B∨C)和(A∧B)∧C ⇿ A∧(B∧C)
      4. *分配律：A∧(B∨C) ⇿ (A∧B)∨(A∧C)和A∨(B∧C) ⇿ (A∨B)∧(A∨C)
      5. *德摩根定律：┐(A∨B) ⇿ ┐A∧┐B和┐(A∧B) ⇿ ┐A∨┐B
      6. 幂等律：A∧A ⇿ A和A∨A ⇿ A
      7. 吸收律：A∨(A∧B) ⇿ A 和A∧(A∨B) ⇿ A
      8. 零律：A∨1 ⇿ 1和A∧0 ⇿ 0
      9. 同一律：A∨0 ⇿ A和A∧1 ⇿ A
      10. 排中律 ：A∨┐A ⇿ 1
      11. 矛盾律：A∧┐A ⇿ 0
      12. *条件等价式：A→B ⇿ ┐A∨B
      13. 双条件等价式：A↔B ⇿ (A→B )∧(B→A )
      14. 假言易位式：A→B ⇿ ┐B→┐A
      15. 双条件否定等价式：A↔B ⇿ ┐ A↔┐B
2. 等价置换：设$\oint (A)$是含有子公式A的命题公式，若$A⇿B$，如果$\oint (A)$中的A用B来置换，得到的公式记为$\oint (B)$，则$\oint (A)⇿\oint (B)$，满足此定理的置换叫做等价置换。
3. 重言式/永真式：若对A的任意赋值，其真值永为真，则称命题公式A位重言式或永真式；
4. 矛盾式/永假式：若对A的任意赋值，其真值永为假，则称命题公式A位矛盾式或永假式；
5. 蕴含：设A和B是命题公式，若$A\to B$是重言式，则称A蕴含B，记作$A⇨B$

五、最小联结词组与范式

1. 联结词完备集：设S是一个联结词集合，如果任何n(n≥1)个变元组成的公式，都可以由S中的联结词来表示，则称S是联结词完备集。
   1. 最小联结词完备集：$S=┐、\wedge$、$S=┐、\vee$、与非、或非
2. 范式
   1. 简单析取式：由一些命题变元或其否定构成的析取式以及约定单个变元或其否定。
   2. 简单合取式：由一些命题变元或其否定构成的合取式以及约定单个变元或其否定
   3. 合取范式：由简单析取式的合取构成的公式。最外面的是合取，里面是析取；
   4. 析取范式：由简单合取式的析取构成的公式。最外面的是析取，里面是合取；
3. 主范式（重点）
   1. 布尔合取/小项：在简单合取式中，每个变元及其否定不同时存在，但两者之一必须出现且仅出现一次。n个命题变元共有$2^n$个小项。
   2. 小项性质：
      1. 每个小项当真值指派与编码相同时，其真值为T，其余情况均为F；
      2. 任意两个不同小项的合取式永远为假；
      3. 全体小项的析取式永真。
   3. 主析取范式：对于给定的命题公式，如果有一个它的等价公式，仅由小项的析取组成，称该公式为原公式的主析取范式。
   4. 布尔析取/大项/极大项：在简单析取中，每个变元及其否定不同时存在，，但两者之一必须出现且仅出现一次。n个命题变元共有$2^n$个大项。
   5. 大项性质：
      1. 每个大项当真值指派与编码相同时，其真值为F，其余情况均为T；
      2. 任意两个不同大项的析取式永远为真；
      3. 全体大项的合取式永假。
   6. 主合取范式：对于给定的命题公式，如果有一个它的等价公式，仅由大项的合取组成，称该公式为原公式的主合取范式。

六、推理理论（综合应用题）

1. 推理：前提+结论，前提是推理所根据的已知命题，结论则是从前提出发通过推理而得到的新命题。
2. 推理法：根据已知的等值公式和蕴含式，利用推理规则证明。
3. 直接推理：
   1. 推理规则：
      1. P规则（前提引入规则）：前提在推导过程中的任何时候都可以引入使用；
      2. T规则（结论引入规则）：推理中，如果一个或多个公式，蕴含了公式S，则公式S可以引入到以后的推理中。
      3. 转换规则：在推导过程的任何步骤上，命题公式的子公式都可以用与之等价的公式置换。此规则也可记为T规则。
   2. 推理定律：
      1. 附加律：A⇨(A∨B)
      2. 化简律：(A∧B)⇨A
      3. 假言推理：((A→B)∧A)⇨B
      4. 拒取式：((A→B)∧┐B)⇨┐A
      5. 条件三段论/假言三段论：((A→B)∧(B→C))⇨(A→C)
      6. 析取三段论：((A∨B)∧┐B)⇨A
      7. 合取引入规则：A,B⇨(A∧B)
4. 间接推理：
   1. 推理方法：
      1. 归谬法也叫反证法
      2. CP规则