连接词是表达命题之间关系的逻辑符号。有五个基本连接词：
假设我们想说：“如果下雨，小明就不会走路上学了”。 我们首先用命题字母表示这两个命题：
A：下雨 B：小明不会走路去上学
然后，我们将使用条件连接词来表述我们的陈述。 AB
🪴 GraphMath
逻辑连接词
Mapped Notes
直接关联知识点
命题逻辑
core可以判断真假的语句(陈述、句子、断言)叫做命题。在命题逻辑中，一个语句（或命题）由一个符号（或字母）表示，命题逻辑是研究简单命题和复合命题之间关系的学科，其中逻辑连接词用于构建复合命题，而命题的真值则决定了整
逻辑关系示例
research| 逻辑关系 | 符号 | 口语表达 | 示例 |
|---|---|---|---|
| 否定 | ¬, ~ | 非, 不是 | ¬p: 今天不是星期天 |
| 合取 | ∧ | 和, 且, 而且 | p ∧ q: 天气晴朗且温度适宜 |
| 析取 | ∨ | 或, 或者 | p ∨ q: 我会去图书馆或咖啡厅 |
| 条件 | →, ⇒ | 如果...那么 | p → q: 如果下雨,那么地面会湿 |
| 双条件 | ↔, ⇔ | 当且仅当 | p ↔ q: 三角形是等边的当且仅当它的三个角都相等 |
| 异或 | ⊕ | 要么...要么 | p ⊕ q: 要么下雨要么下雪 |
| 与非 | ↑ | 不都是 | p ↑ q: 不是既下雨又刮风 |
| 或非 | ↓ | 都不 | p ↓ q: 既不下雨也不刮风 |
各种口语/书面表达形式中发现如何通过逻辑连接词形成的命题逻辑了吗？
条件连接词
core
条件连接词（Conditional）条件命题是一种形如𝐴→𝐵的命题，可以理解为 “如果𝐴，那么𝐵”。条件命题有两个等价形式：¬𝐵→(¬𝐴) 和 ¬𝐴∨𝐵。在条件命题中，𝐴被称为假设或前件，
间接关联的知识点
德摩根定律 (De Morgan's Laws)
core德摩根定律是一组在集合论和布尔代数中使用的重要规则,由数学家奥古斯特·德·摩根(Augustus De Morgan)提出。这些定律描述了逻辑运算"与"(AND)和"或"(OR)与"非"(NOT)运算之间的关系。