第二章、命题

第二章、命题

命题：有确切真值的陈述句，命题可以取一个值称为真值，真值有两种1和0，用大写字母A,B,C,P,Q,R表示
联结词优先级：否定¬，合取∧，析取∨，蕴含->，等价<->
命题分类
永真式（重言式）无论如何取值，真值均为真
永假式（矛盾式）无论如何取值，真值均为假
可满足式：不是永真或是永假的

小计

   只能A或B
       (P ∧ ¬Q) ∨ (¬P ∧ P)

基本等价公式

同一律：
$p\wedge 1\equiv p$
$p\vee 0\equiv p$，

零律：
$p\vee 1\equiv 1$
$p\wedge 0\equiv 0$。

双重否定律：
$\neg (\neg p)\equiv p$。

德摩根定律：
$\neg (p\wedge q)\equiv \neg p\vee \neg q$
$\neg (p\vee q)\equiv \neg p\wedge \neg q$。

结合律：
$(p\wedge q)\wedge r\equiv p\wedge (q\wedge r)$
$(p\vee q)\vee r\equiv p\vee (q\vee r)$。

分配律：
$p\wedge (q\vee r)\equiv (p\wedge q)\vee (p\wedge r)$
$p\vee (q\wedge r)\equiv (p\vee q)\wedge (p\vee r)$。

吸收律：$p\vee (p\wedge q)\equiv p$ 和 $p\wedge (p\vee q)\equiv p$。

矛盾律：
$p\wedge \neg p\equiv 0$。

排中律：
$p\vee \neg p\equiv 1$。

假言易位：
$p\to q\equiv \neg q\to \neg p$

吸收律：（多用来求主合区主析取）
$p\vee (p\wedge q)\equiv p$
$p\wedge (p\vee q)\equiv p$

蕴涵式：
$p\to q\equiv \neg p\vee q$

等价式：
$p\leftrightarrow q\equiv (p\to q)\wedge (q\to p)$。

p → Q ∧ p → R = p → (Q ∧ R) (蕴含分配律)

主范式

每一个短语都是极小项：主析取范式(a∧b)∨(c∧d)
可以通过 B ∧ (¬P ∨ P) 获取缺少的项
(交集) 极小项 m : 只有一组解释能使极小项为真所对应的二进制编码 交集才有一种为真

每一个短语都是极大项：主合取范式(a∨b)∧(c∨d)
可以通过 B ∨ (¬P ∧ P) 获取缺少的项
(并集) 极大项 M : 只有一组解释能使极大项为假所对应的二进制编码 并集才有一种为假

命题演算

P 规则：引入了前提集合中的一个前提，当引用结果蕴含式中的一个前件时，需要标注（附加前提）
T 规则：引入一个由前面推导出来的公式 S，需要指出由哪几个公式推导出来的
CP 规则：如果，需要标注附加前提的位置和结果的位置
大写的 I 表示的是通过基本蕴含关系推导出来的
标注 E，表示通过等价推导出来的，如 p → q 等价于 ¬p ∨ q
反证法：可以将 ¬结果 加入到前提集合当中，然后推出矛盾就代表原命题成立