各种口语/书面表达形式中发现如何通过逻辑连接词形成的命题逻辑了吗?
逻辑关系 | 符号 | 口语表达 | 示例 |
---|---|---|---|
否定 | ¬, ~ | 非, 不是 | ¬p: 今天不是星期天 |
合取 | ∧ | 和, 且, 而且 | p ∧ q: 天气晴朗且温度适宜 |
析取 | ∨ | 或, 或者 | p ∨ q: 我会去图书馆或咖啡厅 |
条件 | →, ⇒ | 如果…那么 | p → q: 如果下雨,那么地面会湿 |
双条件 | ↔, ⇔ | 当且仅当 | p ↔ q: 三角形是等边的当且仅当它的三个角都相等 |
异或 | ⊕ | 要么…要么 | p ⊕ q: 要么下雨要么下雪 |
与非 | ↑ | 不都是 | p ↑ q: 不是既下雨又刮风 |
或非 | ↓ | 都不 | p ↓ q: 既不下雨也不刮风 |