本篇涉及内容:
- 命题的基本概念
- 命题联结词
- 真值表
- 命题公式
- 范式和主范式
- 命题推理理论
- 联结词的完备集
命题的基本概念
-
什么是命题?
具有确切真值的陈述句称为命题. -
哪些句子不是命题?
祈使句、感叹句、疑问句、无法判断真假的陈述句都不是命题.如:“这句话是假的”,这个句子是陈述句但无法判断真假,所以不是命题.
-
判断一个句子是否是命题的要点
1 ) 先判断其是否为陈述句
2 ) 再判断其是否能够判断真假注意:对于一个陈述句,有时我们可能不知道其真假,但是这个句子本身是有真假的. 如:“火星上有生命”,“1 + 1= 10”.
-
命题的分类
1 ) 简单(原子)命题
2 ) 复合命题:多个简单命题加上关联词的复合如:“小迪是大学生或运动员”,这是个复合命题,由"小迪是大学生",“小迪是运动员”,这两个简单命题和关联词"或"复合而成.
命题联结词
-
否定联结词 ¬
-
合取联结词 p ∧ q p∧q p∧q (一假即假):
1 ) p并且q
2 ) 既p又q
3 ) p但q
4 ) 虽然p但是q -
析取联结词 p ∨ q p∨q p∨q (一真即真):
1 ) p或者q注意:这里的"或"是"可兼或",其联结的两个原子命题可以同时为真
关于"异或":“张红生于1982年或1983年”, ( p ∧ ¬ q ) ∨ ( ¬ p ∧ q ) (p∧¬q)∨(¬p∧q) (p∧¬q)∨(¬p∧q) -
蕴含联结词 p → q p→q p→q (前1后0为假其余为真):
1 ) 若p则q
2 ) 只要p就q
3 ) 因为p所以q
4 ) p仅当q
5 ) 仅q才p
5 ) 只有q才p
6 ) 除非q才p
7 ) 除非q否则¬p包含"才"和"除非"的关联词p与q要颠倒
-
等价联结词 p ↔ q p↔q p↔q (p和q真值相同时为真否则为假)
1 ) p当且仅当q
2 ) p的充要条件是q
真值表
-
作用:可以根据一个命题公式中命题变元的不同取值来判断这个命题公式真值.
-
要点:第一行的前三列写命题公式的变元,后面的根据联结词拆分详细一点.
命题公式
-
命题公式的分类
1 ) 重言式/永真式:真值恒为1的命题公式.
2 ) 矛盾式/永假式:真值恒为0的命题公式.
3 ) 非重言式的可满足式:命题变元的不同取值,让命题公式有真值为1也有真值为0的情况. -
命题公式的等值式
1 ) ¬ ( A ᥈ B ) ⟺ ¬ A ᥎ ¬ B ¬ (A ᥈ B) ⟺ ¬ A ᥎ ¬ B ¬(A᥈B)⟺¬A᥎¬B
2 ) A ᥎ ( A ᥈ B ) ⟺ A A ᥎(A ᥈ B) ⟺ A A᥎(A᥈B)⟺A, A ᥈ ( A ᥎ B ) ⟺ A A ᥈ (A ᥎ B) ⟺ A A᥈(A᥎B)⟺A
3 ) A → B ⟺ ¬ A ᥎ B A → B ⟺ ¬ A ᥎ B A→B⟺¬A᥎B
4 ) A → B ⟺ ¬ B → ¬ B A → B ⟺ ¬ B → ¬ B A→B⟺¬B→¬B
5 ) A ↔ ︎ B ⟺ ( A → B ) ᥈ ( B → A ) A ↔︎ B ⟺ (A → B)᥈ (B → A) A↔︎B⟺(A→B)᥈(B→A)
6 ) A ↔ ︎ B ⟺ ¬ A ↔ ︎ ¬ B A ↔︎ B ⟺ ¬ A ↔︎ ¬ B A↔︎B⟺¬A↔︎¬B
注意区分:" ⟷ ⟷ ⟷" 和 “ ⟺ ⟺ ⟺”
" ⟷ ⟷ ⟷"表示命题公式的等价联结词计算
" ⟺ ⟺ ⟺"表示命题公式之间的等价关系
定理:G ⟺ H 的充要条件为 G ↔︎ H 是永真式
范式
- 文字:命题变元或命题变元的否定.
- 简单析取式:有限个文字的析取.
- 简单合取式:有限个文字的合取.
- 析取范式:有限个简单合取式的析取.
- 合取范式:有限个简单析取式的合取.
注意:在范式中,仅含联结词 {¬ , ᥎ , ᥈} .
求一个命题公式的析取(合取)范式的步骤:
- 将公式中的{→ ,↔︎ }联结词利用命题公式的等值式化成{¬ ,᥈ ,᥎ }
- 将否定联结词 ¬ 移动到各个命题变元的前端
- 巧用命题公式的等值式中的分配律化成(一些合取式的析取)或(一些析取式的合取)
如:
合取范式: ( ¬ P ᥎ Q ) ᥈ ( P ᥎ ¬ R ) (¬ P ᥎ Q)᥈ (P ᥎ ¬ R) (¬P᥎Q)᥈(P᥎¬R)
析取范式: ¬ P ᥎ ( ¬ Q ᥈ R ) ¬ P ᥎ (¬ Q ᥈ R) ¬P᥎(¬Q᥈R)
主范式
- 主析取范式: ( ¬ P ᥈ ¬ Q ᥈ ¬ R ) ᥎ ( P ᥈ ¬ Q ᥈ R ) ᥎ ( ¬ P ᥈ Q ᥈ R ) ᥎ ( P ᥈ ¬ Q ᥈ R ) ᥎ ( P ᥈ Q ᥈ ¬ R ) ᥎ ( P ᥈ Q ᥈ R ) (¬ P ᥈ ¬ Q ᥈ ¬ R) ᥎ (P ᥈¬ Q ᥈ R)᥎ ( ¬P ᥈Q ᥈ R)᥎ (P ᥈¬ Q ᥈ R)᥎ (P ᥈Q ᥈¬R)᥎ (P ᥈Q ᥈ R) (¬P᥈¬Q᥈¬R)᥎(P᥈¬Q᥈R)᥎(¬P᥈Q᥈R)᥎(P᥈¬Q᥈R)᥎(P᥈Q᥈¬R)᥎(P᥈Q᥈R)对应 m 0 ᥎ m 2 ᥎ m 3 ᥎ m 5 ᥎ m 6 ᥎ m 7 m_0 ᥎ m_2 ᥎ m_3 ᥎ m_5 ᥎ m_6 ᥎ m_7 m0᥎m2᥎m3᥎m5᥎m6᥎m7,下标的二进制码对应命题公式的成真赋值
- 主合取范式: ( ¬ P ᥎ Q ᥎ R ) ᥈ ( P ᥎ Q ᥎ ¬ R ) (¬ P ᥎ Q ᥎ R)᥈ (P ᥎Q ᥎ ¬ R) (¬P᥎Q᥎R)᥈(P᥎Q᥎¬R) 对应 M 1 ᥈ M 4 M_1 ᥈ M_4 M1᥈M4,下标的二进制码对应命题公式的成假赋值