定义 逻辑联结词是连接简单命题以构成复合命题的符号，包括“且”、“或”、“非”。
从哪来 本节为高一数学逻辑起点，无前置知识点，直接基于自然语言中的逻辑关系引入。
为什么 自然语言中的“和”、“或者”、“不”含义模糊且依赖语境，而数学需要精确、无歧义的运算规则。引入逻辑联结词是为了将思维过程符号化，使命题真假判断具有唯一性和可推导性，为后续证明和算法逻辑奠定基础。
生活类比法
适合
形象思维强、抽象概念薄弱的学生。
用“开关电路”类比：
- “且”（∧）：串联电路，两个开关都闭合灯才亮（全真才真）。
- “或”（∨）：并联电路，任一开关闭合灯就亮（一真即真）。
- “非”（¬）：反向器，输入高电平输出低电平（真假相反）。
通过物理现象直观理解真值表，降低抽象门槛。
逻辑真值表法
适合
逻辑严谨、偏好规则记忆的学生。
直接列出真值表，强调“数学定义优先于日常语言”。
- 重点辨析“或”：数学中的“或”是“相容选言”，即“至少有一个为真”，包含“两个都为真”的情况。
- 举例：命题 p: “x>0”，q: “x<0”。p∨q 为真时，x 可以是 1，也可以是 -1，甚至可以是 0（若定义调整）。
- 强调：不要带入生活中的“要么...要么...”（不相容选言）的直觉。
程序代码法
适合
对计算机感兴趣、习惯结构化思维的学生。
类比 Python 或 C++ 中的布尔运算：
- `and` 对应 ∧：`True and False` 结果为 `False`。
- `or` 对应 ∨：`True or False` 结果为 `True`。
- `not` 对应 ¬：`not True` 结果为 `False`。
指出代码中的短路求值逻辑与数学真值表的一致性，强调逻辑运算的确定性。