本文详细解析了命题逻辑的基本概念，包括命题、复合命题、否定、合取、析取、异或及条件语句。通过真值表探讨了逻辑运算符的优先级，并展示了如何构造复合命题的真值表。重点讲解了条件语句、逆命题、逆否命题和双条件语句的区别。适合深入理解命题逻辑的读者。
命题逻辑
命题
命题：是一个或真或假的陈述句只有一种状态
用字母代表命题元（命题变量）
复合命题
否定：令p为一命题，则p的否定记作┐p(就是取反)指“不是p所指的情形”
合取：令p和q为命题。p，q的合取即命题“p并且q”，记作p∧q。当p和q都为真时，p∧q命题为真，否则为假
析取：令p和q为命题，p和q的析取即命题“p或q”，记作p∨q。当p和q都为假的时，p∨q命题为假，否则为真
异或：令p和q为命题。p和q的异或(记作p⊕q)是这样一个命题：当p和q中恰好只有一个为真的命题为真，否则为假。
条件语句
令p和q是命题，则p→q是一个条件语句也称为蕴含，将其读作“如果p，则q”，只有p为真q为假时命题为假，否则为真。
注意：在条件语句p→q中，p为假设(前件，前提)，q称为结论(后件)
q→p 是p→q的逆命题
┐q→┐p 是p→q的逆否命题(先逆再否)
┐p→┐q 是p→q的反问题
双条件联结词
令p和q为命题，则p↔q为命题，则p↔q表示双条件语句，称作“p当且仅当q”，p和q真值相同为真，否则为假，与异或相反。
逻辑运算符优先级
| 运算符 | 优先级 |
|---|---|
| ┐ | 1 |
| ∧ | 2 |
| ∨ | 3 |
| → | 4 |
| ↔ | 5 |
真值表
复合命题p∨q→┐r的真值表
| p | q | r | ┐r | p∨q | p∨q→┐r |
|---|---|---|---|---|---|
| T | T | T | F | T | F |
| T | T | F | T | T | T |
| T | F | T | F | T | F |
| T | F | F | T | T | T |
| F | T | T | F | T | F |
| F | T | F | T | T | T |
| F | F | T | F | F | T |
| F | F | F | T | F | T |
432
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
