| P | Q | P Q |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
(1 = true, 0 = false)
🪴 GraphMath
条件逻辑-真值表
Mapped Notes
直接关联知识点
条件连接词
core
条件连接词（Conditional）条件命题是一种形如𝐴→𝐵的命题，可以理解为 “如果𝐴，那么𝐵”。条件命题有两个等价形式：¬𝐵→(¬𝐴) 和 ¬𝐴∨𝐵。在条件命题中，𝐴被称为假设或前件，
| P | Q | P Q |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
(1 = true, 0 = false)
条件连接词（Conditional）条件命题是一种形如𝐴→𝐵的命题，可以理解为 “如果𝐴，那么𝐵”。条件命题有两个等价形式：¬𝐵→(¬𝐴) 和 ¬𝐴∨𝐵。在条件命题中，𝐴被称为假设或前件，