这篇博客介绍了离散数学中的命题概念，包括命题的定义、命题联结词如否定、合取、析取、条件等，并探讨了命题公式、真值表、等价关系及其证明方法。通过实例解析了蕴含式、双条件，以及命题定律和推理定律的应用。
第一章 命题
1命题的概念
- 能判断真假的陈述句（二者缺一不可）
- 一般用小写英文字母或小写英文字母带下标表示
- （悖论）不是命题
2.命题联结词
- 原子命题：不可再分解命题
- 复合命题：可分解的命题
- 复合命题是用联结词进行连接的
- 通常用符号（英文字母、大小写皆可也称为命题标识符）来表示一个命题称之为命题的符号化
- 命题常量：1、0
- 否定(¬)
| p | ¬p |
|---|---|
| T | F |
| F | T |
- 合取(∧：有一个为假，则为假)
| p | q | p∧q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
- 析取(V：有一个为真，则为真)
| p | q | pVq |
|---|---|---|
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
注：
1.同或：表示相容，两个命题不排斥，可同时发生（析取）
2.异或：表示相斥，不可以同时成立
例题：他骑自行车去学校或者乘公共汽车去学校 (异或)
- p: 他骑自行车去学校 q: 他乘公共汽车去学校
- （¬p∧q）V（p∧¬q）
- 条件(→结果是假的，该命题就是假的)
| p | q | p→q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
最低0.47元/天 解锁文章
扫一扫
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
