离散命题总纲
第一篇 数理结构
第一章
1.2 —— 联结词
1.否定
\qquad
设P为一命题,P的否定是一个新的命题,记作
¬
\neg
¬ P。若P为T,则
¬
\neg
¬ P为F;若P为F,则
¬
\neg
¬ P为T。联结词“
¬
\neg
¬”表示命题的否定。
2. 合取(与)
\qquad
两个命题P和Q的合取是一个复合命题,记作P
⋀
\bigwedge
⋀ Q。当且仅当P,Q同时为T时,P
⋀
\bigwedge
⋀ Q的真值为T,其他情况下,P
⋀
\bigwedge
⋀ Q的真值都是F。
3. 析取(或)
\qquad
两个命题P和Q的析取是一个复合命题,记作P
⋁
\bigvee
⋁ Q。当且仅当P,Q同时为F时,P
⋁
\bigvee
⋁ Q的真值为F,否则P
⋁
\bigvee
⋁ Q的真值都是T。
4. 条件
\qquad
给定两个命题P和Q,其条件命题是一个复合命题,记作
P
→
\rightarrow
→ Q,读作“如果P,那么Q”或“若P,则Q”。当且仅当P的真值为T,Q的真值为F时P
→
\rightarrow
→ Q的真值为F,否则P
→
\rightarrow
→ Q的真值为T。我们称P为前件,Q为后件。
5. 双条件
\qquad
给定两个命题P和Q,其条件命题P
⇌
\rightleftharpoons
⇌ Q称为双条件命题,读作“P当且仅当Q”,当P和Q的真值相同时,P
⇌
\rightleftharpoons
⇌ Q的真值为T,否则P
⇌
\rightleftharpoons
⇌ Q的真值为F。
1.3 —— 命题公式与翻译
- 命题演算的合式公式(wff)
(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.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