本文介绍了命题逻辑的基本概念，包括命题的定义、真值以及原子命题和复合命题。重点讨论了逻辑运算符，如否定、合取、析取、异或、蕴涵和双蕴涵，并阐述了它们的真值条件和优先级。同时，提到了蕴涵命题的等价形式和逆命题、反命题的概念，帮助理解逻辑证明的基础知识。
逻辑与证明
1.1命题逻辑
命题
定义1：一个命题就是一条陈述句。
要么针、要么假，不能既真又假。
定义2：命题的真假叫做命题的真值。
只有两种真值：真、假。
注意：在判断陈述句真假时，需要明确其所在的场景。
原子命题：其真假独立于其他命题的最小命题。
一般用小写字母表示。
复合命题：已有命题用逻辑运算符组合成的新命题。
![[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-qTCTApSM-1639226661302)(C:\Users\20193\AppData\Roaming\Typora\typora-user-images\image-20211211193108214.png)]](https://i-blog.csdnimg.cn/blog_migrate/99f01c468af984f40b09ffd85034ed11.png)
逻辑运算符：用于组合命题的符号
基本的逻辑运算符包含：
| 否定 | 合取 | 析取 | 蕴涵 | 双蕴涵 | 亦或 |
|---|---|---|---|---|---|
| ¬ | ∧ | ∨ | → | ⇿ | ⊕ |
否命题：非
合取命题：且
-只有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、q→p同真时，p ⇿ q为真
逻辑运算符的优先级：
扫一扫
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
