定义：非真即假的陈述句
真值：作为命题的陈述句所表达的判断结果，只取俩个值：真或假
真命题
假命题
即不可再被分解为更简单的命题
复杂命题
┐p为真，p为假
p∧ q，p并且q，同真为真，一假为假
p∨q， 一真为真，同假为假
与“或”不完全一样，有时具有相容性（即相容或），有时具有排斥性（即排斥或）
p→ q，“如果p，则q”，规定当且仅当p真q假时，p→ q为假
p，为蕴涵式前件，q为蕴涵式后件，
在逻辑关系中，q为p的必要条件
p↔q，规定同真或同假时为真
将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串
根据在各种赋值下的取值情况分类
设A为任一命题公式，在所有赋值情况下
取值均为真，为重言式（永真式）
取值均为假，矛盾式（永假式）
给命题公式中的全部变项各指定一个真值。称为对A的一个赋值或解释
一组使A为1的值，称为成真赋值；一组使A为1的值，称为成真赋值
将命题公式在所有赋值情况下的所有取值情况列成表
设p，q为俩个命题公式，p↔q为重言式，称p与q等值，记p<=>q
双重否定律：¬¬A⟺A
幂等律：A∨A⟺A
A ∧ A ⟺ A
交换律：
A ∨ B ⟺ B ∨ A
A ∧ B ⟺ B ∧ A
结合律：
(A∨B)∨C⟺A∨(B∨C)
(A∧B)∧C⟺A∧(B∧C
分配率：
A∨(B∧C)⟺(A∨B)∧(A∨C)
A∧(B∨C)⟺(A∧B)∨(A∧C)
德摩根律：
¬(A∨B)⟺¬A∧¬B
¬(A∧B)⟺¬A∨¬B
同一律：
A∨0⟺A
A∧1⟺A
矛盾律：
A∧¬A⟺0
假言易位：
A→B⟺¬B→¬A
等价否定等值式：
A↔B⟺¬A↔¬B
归谬论：(A→B)∧(A→¬B)⟺¬A
文字指命题变量或命题变量的否定。
是一个或多个合取式的析取，其中的合取式都是一个或多个文字的合取；
一般形式 A1∧ A2∧ ...∧ An
主合取范式（所有简单合取式都是极小项）
注：若含有n个命题变量的合取式恰好是n个文字的合取，每个文字对应不同的命题变量，该合取式称为极小项
是一个或多个析取式的合取,其中的析取式都是一个或多个文字的析取。
一般形式 A1∨ A2∨ ...∨ An
主析取范式（所有简单析取式都是极大项）
注：若含有n个命题变量的析取式恰好是n个文字的析取，每个文字对应不同的命题变量，该析取式称为极大项。
前提A1，A2，A3，....An推出的结论B是有效的或正确的，并称B是有效的结论
证明的任何步骤都可引入前提
任何步骤所得结论都可作为后续证明的前提
命题中的子公式都可以用等值的公式替换
假言推理 (A→B)∧A⇒B
附加律 A⇒(A∨B)
化简 A(A∧B)⇒A
拒取式 (A→B)∧¬B⇒¬A
假言三段论 (A→B)∧(B→C)⇒(A→C)
析取三段论 (A∨B)∧¬B⇒A
构造性二难 (A→B)∧(C→D)∧(A∨C)⇒(B∨D)
破坏性二难( A→B)∧(C→D)∧(¬B∨¬D)⇒(¬A∨¬C)
0
0
分享
