离散数学基础（命题逻辑）
1. 命题逻辑
命题逻辑研究以命题为基本单位构成的前提和结论之间的可推导关系。我们将讨论命题逻辑的基本概念，以及基于命题的真值解释实行演绎的等值演算和自然推理演算。
1.1 命题的概念− 一个命题是一个非真即假的陈述句。
» 命题具有真假值，并且非真即假
» 陈述句限定源于命题的推断属性
» 或然性的排除
» 命题的真假判定问题：真假的常识性影响；真假的时间性影响。判定方法的存在性。
1.2 定义：简单命题（原子命题）
− 简单命题仅仅对一个事物的一个性质进行推断。
| » 例：雪是白的。 » 例：我下午在图书馆。 » 例：张三和李四是表兄弟。 » 例：他的粗鲁的态度使我受到了深深的伤害。 |
− 简单命题的语义真值由客观事实决定。
1.3 定义：复合命题− 从语法结构上可分解成若干简单命题的命题是复合命题
| » 例：我下午在图书馆，或者去打球。 » 例：假设明天不下雨。我们就去白云山。
|
• 定义：复合命题
− 从语义上可分解成若干简单命题的命题是复合命题
| » 例：张三和李四都是中大学生。 |
− 复合命题由若干简单命题通过命题联结词构造而成。其语义真值也由之确定。
1.5 命题的符号化表示1.5.1 定义：命题常量
» 一个命题常量是一个表达了详细的命题内容的命题，可使用一个形式符号p 来表示。
| » 例：p：张三是中大学生。 |
» 此时符号 p 具有了明白的语言含义。称之为一个命题常量。
命题常量是一个命题。
• 命题的符号化表示
1.5.2 定义：命题变量/命题形式
» 在符号体系中，当我们仅仅关心对象的位置关系（而不关心对象的语言解释）时。可使用符号来表示对象。
1.5.3 命题的符号化表示
− 定义：命题变量/命题形式
» 使用一个形式符号 P 表示“在描写叙述位置上有一个命题”，而并不指出该命题的内容或真假。 这种符号 P 称为一个命题变量（命题变元、命题变
项）。或一个命题形式。
» 显然一个命题变量没有真假值，它不是命题。
• 命题的符号化表示
− 定义：命题变量/命题形式
» 当命题变量表示的命题内容得到确定时，称该变量获得指派（被赋值）。此时该变量取得了真假值，成为一个命题。
» 为陈述方便起见，我们后面所说的“命题 P ”，一般指的就是命题形式，除非有特别的语义声明。
• 命题的符号化表示
− 定义：真值
» 命题或命题变量的取值情况称为该命题或命题变量的真值。
» 通经常使用 0 或 F 表示“为假”，用1或 T 表示“为真”。
• 复合命题的符号化表示
− 如今。我们能够用一个形式符号 P 表示一个原子命题，而并不指出该命题的内容或真假。
− 为将命题的符号化表示用于复合命题，须要引进所谓的命题联结词以描写叙述原子命题及其构造关系。命题联结词也称为命题运算符，具有严格的逻辑含义，以求保证符号系统的语义与其原有自然系统语义的一致性。
我们讨论的联结词包含 ：否定词 ¬ ，合取词 ∧ ，析取词 ∨。条件词 →（蕴含词）和双条件词 ↔ （等价词）
1.5.3.1 否定词 ¬− 定义：设 P 为一个命题，则 ¬P 也为一个命题。称为 P 的否定。其逻辑意义为：
− 对否定词 ¬ 的自然语言解释：
|
» 例1：P：我喜欢数理逻辑。 ¬P： “我喜欢数理逻辑” 是假的。 |
| » 例2：P：我不喜欢数理逻辑。 ¬P：“我不喜欢数理逻辑” 是假的。 |
− 对否定词 ¬ 的自然语言解释：
| » 例3：P：今天是星期六。
¬P：今天不是星期六。 (误：今天是星期天) |
• 合取词 ∧
− 定义：设 P、Q 为命题，则 P∧Q 也是一个命题，称为 P 和 Q 的合取。其逻辑意义为：
P、Q的组合共同拥有4种，即P∧Q有4个逻辑解释或真值指派。
• 合取词 ∧
| − 例：P：今天是星期六。 Q：雪是黑的。 P∧Q ：今天是星期六并且雪是黑的。 |
• 合取词 ∧
− 与自然语言的相应：与、且、并、但 等等。
| − 例：P：他英语非常好。
P∧Q：他英语非常好，并且德语不错。 – 他英语非常好，德语也不错。 – 他不但英语非常好，德语也不错。 – 他英语非常好，但德语水平也不错。 |
• 合取词 ∧
− 与自然语言的相应：与、且、并、但 等等。
| − 例：他打开书本并大声朗读。
自然语言中的时序关系不能得到准确描写叙述。 |
• 析取词 ∨
− 定义：设 P、Q 为命题。则 P∨Q 也是一个命题，称为 P 和 Q 的析取。其
逻辑意义为：
有4个逻辑解释或真值指派。
• 析取词 ∨
− 与自然语言的相应：或，…或者…。…要么…。…要不…，二者必居其一，…
| − 例：P：同学们在晚会上唱歌。 Q：同学们在晚会上跳舞。
|
» 相容性选择：唱歌和跳舞能够同一时候存在。
• 析取词 ∨
| − 例： P：今天下午5点我在图书馆。 Q：今天下午5点我在足球场。 误：P∨Q ：今天下午5点我在图书馆或足球场。 正：(P∧¬Q)∨(¬P∧Q) |
» 排斥性选择：同一时间去图书馆和去打球存在矛盾关系。
• 条件词 →
− 定义：设 P、Q 为命题，则 P → Q 也是一个命题，称为 P 条件蕴涵 Q。其
逻辑意义为：
从真值表看出，当且仅当P为T，Q为F时， P→Q为F。当前件取F时，不论后件怎样，约定结果为T。
P、Q的组合共同拥有4种。即P→Q有4个逻辑解释或真值指派。
• 条件词 →
− 与自然语言的相应：假设…那么… 。意味着，蕴含…。
− 不一定要求描写叙述前后件语义上的因果关系。
| − 例：P：张三是中大学生。
|
• 双条件词 ↔
− 定义：设 P、Q 为命题，则 P ↔ Q 也是一个命题，称为 P 双重蕴涵 Q。
其
逻辑意义为：
从真值表看出，当且仅当P、Q具有同样真值时。
P↔Q 为T。P、Q的组合共同拥有4种，即P→Q有4个逻辑解释或真值指派。
• 双条件词 ↔
− 与自然语言的相应：…当且仅当… ，充要条件。
− 不一定要求描写叙述前后件语义上的互为逆否关系。
| − 例：P：张三是中大学生。 Q：雪是黑的。
|
