1.3 命题公式与翻译 1.4真值表与等价公式
1.3 命题公式与翻译
命题公式
\qquad
原子命题:不包含任何联结词的命题
\qquad
复合命题:至少包含一个联结词的命题
\qquad
设P和Q是任意两个命题,则¬P,P
⋀
\bigwedge
⋀ Q等都是复合命题。
\qquad
若P和Q是命题变元,则上述各式均称命题公式。P和Q称作命题公式的分量。
\qquad
注意:命题公式没有真假值,仅当一个公式中命题变元用确定的命题带入时,才得到一个命题。这个命题的真值,依赖于变元的那些命题的真值。此外,并不是由命题变元,联结词和一些括号组成的字符都能称为命题公式。
命题演算的合式公式(wff)(well former formula),规定为:
(1)单个命题变元本身是一个合式公式。
(2)如果A是合式公式,那么
¬
\neg
¬ A是合式公式。
(3)如果A和B是合式公式,那么(A
⋀
\bigwedge
⋀ B),(A
⋁
\bigvee
⋁ B),(A
→
\rightarrow
→ B)和(A
⇌
\rightleftharpoons
⇌ B)都是合式公式。
(4)当且仅当能够有限次地应用(1),(2),(3)所得到的包含命题变元,联结词和括号的符号串是合式公式。
这个合式公式的定义,是以递归形式给出的,其中(1)称为基础,(2), (3)称为递归,(4)称为界限。
例如:¬(P
⋀
\bigwedge
⋀ Q),¬(P
→
\rightarrow
→ Q)等
翻译
例题
以符号形式写出命题
\qquad
例1:我们要做到身体好,学习好,工作好,为祖国四有建设而奋斗。
解:A:我们要做到身体好。
B:我们要做到学习好。
C:我们要做到工作好。
D:我们要为祖国四有建设而奋斗。
转化为:(A
⋀
\bigwedge
⋀ B
⋀
\bigwedge
⋀ C)
⋁
\bigvee
⋁ D
\qquad
例2:上海到北京的14次列车是下午五点半或六点开。
解:P:上海到北京的14次列车是下午五点半开。
Q:上海到北京的14次列车是下午六点开。
汉语的”或“是不可兼或,而逻辑联结词
⋁
\bigvee
⋁ 是”可兼或“,因此不能直接对两个命题析取。
P | Q | 原命题 | P ⇌ \rightleftharpoons ⇌ Q | ¬ \neg ¬(P ⇌ \rightleftharpoons ⇌ Q) |
---|---|---|---|---|
T | T | F | T | F |
T | F | T | F | T |
F | T | T | F | T |
F | F | F | T | F |
此问题表达式为: ¬ \neg ¬(P ⇌ \rightleftharpoons ⇌ Q)。
1.4真值表与等价公式
真值表
- 在命题公式中,对于分量指派真值的各种可能组合,就确定了这个命题公式的各种真值情况,把它汇列成表,就是命题公式的真值表。
- 给定两个命题公式A和B,设P1,P2,…,Pn为所有出现于A和B中的原子变元,若给定P1,P2,…,Pn任一组真值指派,A和B的真值都相等,则称A和B是等价的或逻辑相等。记作 A ⇔ \Leftrightarrow ⇔ B。
- 如果X是合式公式A的一部分,且X本身也是一个合式公式,则称X为公式A的子式。
- 设X是合式公式A的子公式,若X ⇔ \Leftrightarrow ⇔ Y,如果将A中的X用Y来置换,所得到公式B与公式A等价,即A ⇔ \Leftrightarrow ⇔ B
例题1:构造¬P
⋁
\bigvee
⋁Q的真值表
表
1
−
4.1
表 1 - 4.1
表1−4.1
P | Q | ¬P | ¬P ⋁ \bigvee ⋁Q |
---|---|---|---|
T | T | F | T |
T | F | F | F |
F | T | T | T |
F | F | T | T |
例题2:给出(P ⋀ \bigwedge ⋀ Q) ⋀ \bigwedge ⋀ ¬ P的真值表
全部为F
表
1
−
4.2
表 1 - 4.2
表1−4.2
P | Q | P ⋀ \bigwedge ⋀Q | ¬P | (P ⋀ \bigwedge ⋀Q) ⋀ \bigwedge ⋀ ¬ P |
---|---|---|---|---|
T | T | T | F | F |
T | F | F | F | F |
F | T | F | T | F |
F | F | F | T | F |
例题3:(P
⋀
\bigwedge
⋀ Q)
⋁
\bigvee
⋁ (¬ P
⋀
\bigwedge
⋀¬ Q)
表
1
−
4.3
表 1 - 4.3
表1−4.3
P | Q | ¬ P | ¬ Q | P ⋀ \bigwedge ⋀Q | ¬ P ⋀ \bigwedge ⋀¬ Q | (P ⋀ \bigwedge ⋀ Q) ⋁ \bigvee ⋁ (¬ P ⋀ \bigwedge ⋀¬ Q) |
---|---|---|---|---|---|---|
T | T | F | F | T | F | T |
T | F | F | T | F | F | F |
F | T | T | F | F | F | F |
F | F | T | T | F | T | T |
例题4:¬(P ⋀ \bigwedge ⋀Q) ⇌ \rightleftharpoons ⇌ (¬P ⋁ \bigvee ⋁¬Q)全部为T
等价
- ¬ P ⋁ \bigvee ⋁Q ⇔ \Leftrightarrow ⇔ P → \to → Q
- P ⇌ \rightleftharpoons ⇌ Q ⇔ \Leftrightarrow ⇔ (P ⋀ \bigwedge ⋀ Q) ⋁ \bigvee ⋁ (¬P ⋀ \bigwedge ⋀ ¬Q)
- P ⇌ \rightleftharpoons ⇌ Q ⇔ \Leftrightarrow ⇔ (P → \to → Q) ⋀ \bigwedge ⋀ (Q → \to → P)
表 1 − 4.5 表1-4.5 表1−4.5
命题定律 | 表达式 | 序号 |
---|---|---|
对合律 | ¬ ¬ \neg\neg ¬¬P ⇔ \Leftrightarrow ⇔ P | 1 |
幂等律 | P
⋁
\bigvee
⋁ P
⇔
\Leftrightarrow
⇔ P P ⋀ \bigwedge ⋀ P ⇔ \Leftrightarrow ⇔ P | 2 |
结合律 | (P
⋁
\bigvee
⋁ Q)
⋁
\bigvee
⋁ R
⇔
\Leftrightarrow
⇔ P
⋁
\bigvee
⋁ (Q
⋁
\bigvee
⋁ R) (P ⋀ \bigwedge ⋀ Q) ⋀ \bigwedge ⋀ R ⇔ \Leftrightarrow ⇔ P ⋀ \bigwedge ⋀ (Q ⋀ \bigwedge ⋀ R) | 3 |
交换律 | P
⋁
\bigvee
⋁ Q
⇔
\Leftrightarrow
⇔ Q
⋁
\bigvee
⋁ P P ⋀ \bigwedge ⋀ Q ⇔ \Leftrightarrow ⇔ Q ⋀ \bigwedge ⋀ P | 4 |
分配律 | P
⋁
\bigvee
⋁ ( Q
⋀
\bigwedge
⋀ R)
⇔
\Leftrightarrow
⇔ (P
⋁
\bigvee
⋁ Q)
⋀
\bigwedge
⋀ (P
⋁
\bigvee
⋁ R) P ⋀ \bigwedge ⋀ ( Q ⋁ \bigvee ⋁ R) ⇔ \Leftrightarrow ⇔ (P ⋀ \bigwedge ⋀ Q) ⋁ \bigvee ⋁ (P ⋀ \bigwedge ⋀ R) | 5 |
吸收律 | P
⋁
\bigvee
⋁ ( P
⋀
\bigwedge
⋀ Q)
⇔
\Leftrightarrow
⇔ P P ⋀ \bigwedge ⋀ ( P ⋁ \bigvee ⋁ Q) ⇔ \Leftrightarrow ⇔ P | 6 |
德·摩根律 |
¬
\neg
¬ (P
⋁
\bigvee
⋁ Q)
⇔
\Leftrightarrow
⇔
¬
\neg
¬ P
⋀
\bigwedge
⋀
¬
\neg
¬ Q ¬ \neg ¬ (P ⋀ \bigwedge ⋀ Q) ⇔ \Leftrightarrow ⇔ ¬ \neg ¬ P ⋁ \bigvee ⋁ ¬ \neg ¬ Q | 7 |
同一律 | P
⋁
\bigvee
⋁ F
⇔
\Leftrightarrow
⇔ P P ⋀ \bigwedge ⋀ T ⇔ \Leftrightarrow ⇔ P | 8 |
零律 | P
⋁
\bigvee
⋁ T
⇔
\Leftrightarrow
⇔ T P ⋀ \bigwedge ⋀ F ⇔ \Leftrightarrow ⇔ F | 9 |
否定律 | P
⋁
\bigvee
⋁
¬
\neg
¬P
⇔
\Leftrightarrow
⇔ T P ⋀ \bigwedge ⋀ ¬ \neg ¬P ⇔ \Leftrightarrow ⇔ F | 10 |