离散结构笔记(1)

命题: 能判断真假的陈述句称为命题

1. 感叹句,祈使句,疑问句都不是命题
2. 悖论不是命题
3.判断结果不能唯一确定的不是命题

简单命题: 由一个简单陈述句组成(原子命题,不能再分)

复合命题: 简单命题 + 联结词

五种常用的联结词:否定,合取,析取,蕴涵,等价

否定: 非,并非

---

合取

合取词: “且”

P 且 Q

当且仅当P和Q同时为真

P并且Q
不但P而且Q
既P又Q
尽管P还Q
虽然P但是Q

---

析取

析取词: 或

P或Q: 为假,当且仅当P和Q同时为假

分类: 相容或,排斥或

---

蕴涵词
如果.. 那么 ..