离散数学笔记

1.1 命题

 1、命题的定义：一个能判别其真假的陈述句。

• 命题结果统称为命题的真值。
• 如果一个命题结果为真——命题的真值为真，还可表示为：T，1
• 如果一个命题结果为假——命题的真值为假，还可表示为：F，0

2、常用的五个联结词的含义

• 否定词￢：否，非，不是          
• 合取词∧：与，且                         
• 析取词∨: 或                      
• 蕴含词 →：如果P则Q ；Q是P的必要条件；Q每当P ；P是Q的充分条件； P仅当Q 
• 等值词↔ P↔Q：P 当且仅当Q P是Q的充要条件 P等值Q
• 联结词的优先规则：￢ ∧ ∨ → ↔（从左到右优先级高）

3、命题符号化：

  学会用符号和联结词表示命题。

例：设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

4、求解命题公式的真值表

如果P代表真值未指定的任意命题，我们就称P为命题变元; 如果P代表一个真值已指定的命题，我们就称P为命题常元。以“真”、“假”为其变域的变元，称为命题变元;T和F称为命题常元。

单个命题变元和命题常元叫原子公式。 由以下形成规则生成的公式叫命题公式(简称公式):

　　① 单个原子公式是命题公式。

　　② 如果A和B是命题公式，则(￢A)、(A∧B)、(A∨B)、(A→B)、(A↔ B)是命题公式。

　　③ 只有有限步地应用规则①和②生成的公式，才是命题公式。

---