逻辑 — 命题与量词
从日常语言出发，理解逻辑的基本概念——命题、联结词、量词，学会用符号表达和判断真假。
一、命题及其关系
1.1命题的定义
在数学中，命题是指可以判断真假的陈述句。一个句子必须同时满足两个条件才是命题：
- 是陈述句（不是疑问句、祈使句、感叹句）
- 能判断真假（有确定的真值）
例：判断下列句子是否为命题
○ "3 > 2" → 是命题，是真命题。
○ "太阳从西边升起" → 是命题，是假命题（有确定真值，只是为假）。
○ "你好吗？" → 不是命题，因为它是疑问句，无法判断真假。
○ "x + 1 = 3" → 不是命题，因为 x 没有被赋值，也没有量词约束，无法判断真假。
○ "请把门关上" → 不是命题，祈使句，无真假。
反过来，即使是数学表达式（如 x + 1 = 3），如果含有未确定的变量，也可能不是命题。仅说明一个通常的取值范围（如 x ∈ R）仍不够；给出 x 的具体值，或写成“∀x…”“∃x…”后，才成为能判断真假的命题。
真命题：判断为真的命题。
假命题：判断为假的命题。
1.2四种命题
给定一个原命题"若 p 则 q"，我们可以通过交换和否定得到另外三种命题形式：
条件命题 p → q 的真值：只有在 p 真而 q 假时，p → q 为假；其余三种情形都为真。
判断“若 p 则 q”为假，只需找到一个满足条件 p、却不满足结论 q的反例。特别地，当 p 为假时，不能用它作为反例，此时 p → q 仍判为真。
原命题：若 p 则 q（记为 p → q）
逆命题：若 q 则 p（条件和结论互换）
否命题：若 ¬p 则 ¬q（条件和结论都否定）
逆否命题：若 ¬q 则 ¬p（互换且否定）
例：以"若 x > 2，则 x > 1"为原命题，写出其他三种命题。
原命题：若 x > 2，则 x > 1。 （真）
逆命题：若 x > 1，则 x > 2。 （假，反例：x = 1.5）
否命题：若 x ≤ 2，则 x ≤ 1。 （假，反例：x = 1.5）
逆否命题：若 x ≤ 1，则 x ≤ 2。 （真）
1.3四种命题的相互关系
关键结论：
○ 原命题与逆否命题等价（同真同假）。
○ 逆命题与否命题等价（同真同假）。
○ 原命题为真时，逆命题不一定为真！需要举反例验证。
四种命题的真假关系表
| 原命题 p → q |
逆命题 q → p |
否命题 ¬p → ¬q |
逆否命题 ¬q → ¬p |
说明 |
|---|---|---|---|---|
| 真 | 真 | 真 | 真 | 四种命题全真 |
| 真 | 假 | 假 | 真 | 原命题 ⇔ 逆否命题 |
| 假 | 真 | 真 | 假 | 逆命题 ⇔ 否命题 |
| 假 | 假 | 假 | 假 | 四种命题全假 |
A 错：逆命题"若x²=4，则x=2"为假（反例：x=-2）。
B 对：否命题"若x≠2，则x²≠4"为假（反例：x=-2时x≠2但x²=4）。
C 错：逆否命题"若x²≠4，则x≠2"为真（与原命题等价）。
D 错：原命题"若x=2，则x²=4"为真，说它是假命题显然是错的。
1.4充分条件与必要条件
给定命题"若 p 则 q"，我们还可以研究 p 和 q 之间的条件关系：
充分条件：若 p → q 为真，则称 p 是 q 的充分条件（有 p 就一定有 q）。
必要条件：若 p → q 为真，则称 q 是 p 的必要条件（没有 q 就一定没有 p）。
充要条件：若 p → q 和 q → p 同时为真，则称 p 是 q 的充要条件（p 与 q 等价）。
例：判断"x > 2"是"x > 1"的什么条件？
分析：若 x > 2，则 x > 1（真），所以 x > 2 是 x > 1 的充分条件。
反过来，若 x > 1，则 x > 2（假，反例 x = 1.5），所以 x > 2 不是 x > 1 的必要条件。
综合：x > 2 是 x > 1 的充分不必要条件。
"充分"意味着条件足够推出结论（有它就够）。
"必要"意味着结论需要这个条件（没它不行）。
口诀："小范围 ⇒ 大范围"——小范围是大范围的充分不必要条件。
充分性：若 x = 2，则 x² = 4，成立 ⇒ 充分。
必要性：若 x² = 4，则 x = 2，不成立（x = -2 也可）⇒ 不必要。
所以"x = 2"是"x² = 4"的充分不必要条件。选 A。
二、简单的逻辑联结词
我们可以用逻辑联结词将简单命题组合成复合命题。高中数学中主要学习三个基本联结词：
2.1p ∧ q（且）
p ∧ q 读作"p 且 q"，只有当 p 和 q 同时为真时，p ∧ q 才为真。
例："2 既是偶数又是质数"
日常语言→符号化：设 p：2 是偶数（真），q：2 是质数（真）。则该句可表示为 p ∧ q。
真值判断：p 真且 q 真，所以 p ∧ q 为 真。
注意：2 是唯一的偶质数，所以"既是偶数又是质数"只有 2 满足。
2.2p ∨ q（或）
p ∨ q 读作"p 或 q"，只要 p 和 q 至少一个为真，p ∨ q 就为真。
例："x ≥ 0 或 x ≤ 0"
日常语言→符号化：设 p：x ≥ 0，q：x ≤ 0。则该句可表示为 p ∨ q。
真值判断：对于任意实数 x，要么 x ≥ 0（p 真），要么 x ≤ 0（q 真），要么两者都真（x = 0）。
所以 p ∨ q 对于 任意实数 x 都是 真（恒真命题）。
2.3¬p（非）
¬p 读作"非 p"或"p 的否定"，与 p 的真假相反。
例："3 > 2"的否定
日常语言→符号化：设 p：3 > 2（真）。则 ¬p 表示"3 ≤ 2"。
真值判断：p 为真，¬p 为 假。
注意：¬(3 > 2) 是 3 ≤ 2，而不是 3 < 2。"非"是对整个判断的否定。
2.4真值表与复合命题判断
用"真 / 假"表示
| p | q | p ∧ q | p ∨ q | ¬p |
|---|---|---|---|---|
| 真 | 真 | 真 | 真 | 假 |
| 真 | 假 | 假 | 真 | 假 |
| 假 | 真 | 假 | 真 | 真 |
| 假 | 假 | 假 | 假 | 真 |
用"1 / 0"表示（四则运算）
| p | q | p × q (= p ∧ q) |
p + q − p × q (= p ∨ q) |
1 − p (= ¬p) |
|---|---|---|---|---|
| 1 | 1 | 1 × 1 = 1 | 1 + 1 − 1 = 1 | 1 − 1 = 0 |
| 1 | 0 | 1 × 0 = 0 | 1 + 0 − 0 = 1 | 1 − 1 = 0 |
| 0 | 1 | 0 × 1 = 0 | 0 + 1 − 0 = 1 | 1 − 0 = 1 |
| 0 | 0 | 0 × 0 = 0 | 0 + 0 − 0 = 0 | 1 − 0 = 1 |
○ ¬p = 1 − p —— 非：真(1)取反变假(0)、假(0)取反变真(1)，正是"用 1 去减"。
○ p ∧ q = p × q —— 且：乘法只有当 p、q 都为 1 时才得 1，其余全为 0，与"一假必假"完全吻合。
○ p ∨ q = p + q − p × q —— 或：加法已覆盖"至少一个为真"，但当 p、q 都真时 1 + 1 = 2，把重叠部分多算了一次，所以要再减掉 p × q。
对照验证：把上方左右两表逐行对比 ——"真/假"表的每一行，与"1/0"表对应行算出的结果完全相同（例如 p、q 都真时：p ∧ q = 真 = 1 × 1 = 1）。
"且" —— 一假必假（两个都真才真）
"或" —— 一真必真（两个都假才假）
"非" —— 真假相反
复合命题真假判断步骤
步骤：
第一步：识别出复合命题中所有的简单命题（p、q 等）。
第二步：逐个判断每个简单命题的真假。
第三步：按照联结词的逻辑规则，由内到外逐步求出复合命题的真假。
例：判断命题"(2 > 1) ∧ ¬(3 ≤ 2)"的真假。
第一步：设 p：2 > 1（真），q：3 ≤ 2（假）。
第二步：¬q = ¬(3 ≤ 2) = "3 > 2"，为真。
第三步：p ∧ (¬q) = 真 ∧ 真 = 真。
关于"或"的说明
在日常语言中，"或"有两种常见含义：
- 相容或（可兼或）：p 和 q 可以同时成立。如"x ≥ 0 或 x ≤ 0"，x = 0 时两者同时成立。高中数学中的 p ∨ q 特指这种。
- 排斥或（异或）：p 和 q 不能同时成立。如"明天我去北京或去上海"，不能同时去两地。
在高中数学中，p ∨ q 特指相容或（可兼或）。
2.5德·摩根律
德·摩根律描述了对复合命题取否定时，联结词如何变化：
¬(p ∧ q) ⇔ ¬p ∨ ¬q
¬(p ∨ q) ⇔ ¬p ∧ ¬q
"且的否定，变成或，各自取反"—— ¬(p ∧ q) = ¬p ∨ ¬q
"或的否定，变成且，各自取反"—— ¬(p ∨ q) = ¬p ∧ ¬q
例：命题"x ≥ 0 且 y ≤ 0"的否定是什么？
设 p：x ≥ 0，q：y ≤ 0。原命题为 p ∧ q。
根据德·摩根律：¬(p ∧ q) = ¬p ∨ ¬q = "x < 0 或 y > 0"。
注意：否定"且"时要变成"或"，而不是简单地保留"且"。
注意：¬(x ≥ 1) 是 x < 1，不是 x ≤ 1；¬(x ≤ 3) 是 x > 3，不是 x ≥ 3。
三、全称命题和特称命题
3.1全称量词与全称命题
全称量词表示"所有的""任意一个""每一个"等含义，用符号 ∀（倒写的 A，代表 All）表示。
全称命题：形如 "∀x ∈ M，p(x)"，读作"对任意 M 中的 x，p(x) 成立"。
其中 M 是给定的集合，p(x) 是关于 x 的命题。
例 1：∀x ∈ R，x² ≥ 0
日常语言："任何一个实数的平方都大于等于 0"
真值判断：真命题。任何实数的平方确实非负。
例 2：∀x ∈ R，x² > 0
日常语言："任何一个实数的平方都大于 0"
真值判断：假命题。反例：x = 0 时，0² = 0，不大于 0。
要证明全称命题为假，只需找出一个反例。
3.2存在量词与特称命题
存在量词表示"存在一个""至少有一个""有些"等含义，用符号 ∃（反写的 E，代表 Exist）表示。
特称命题：形如 "∃x ∈ M，p(x)"，读作"存在 M 中的 x，使得 p(x) 成立"。
例 1：∃x ∈ R，x² = 0
日常语言："存在一个实数，它的平方等于 0"
真值判断：真命题。x = 0 就满足条件。
例 2：∃x ∈ R，x² + 1 = 0
日常语言："存在一个实数，它的平方加 1 等于 0"
真值判断：假命题。x² + 1 = 0 即 x² = -1，没有实数解。
要证明特称命题为假，需要说明所有元素都不满足条件。
3.3含一个量词的命题的否定
全称命题的否定是一个特称命题：
¬(∀x ∈ M，p(x)) ⇔ ∃x ∈ M，¬p(x)
例："所有人都是学生"的否定是什么？
错误否定："所有人都不是学生"——这不对！
正确否定："存在一个人不是学生"
否定一个全称命题，不是否定结论本身，而是说"存在反例"。
特称命题的否定是一个全称命题：
¬(∃x ∈ M，p(x)) ⇔ ∀x ∈ M，¬p(x)
例："有人会飞"的否定是什么？
错误否定："有人不会飞"——这不对！
正确否定："所有人都不会飞"
否定一个特称命题，等于说"所有个体都不满足条件"。
否定规则口诀：∀ 变 ∃，∃ 变 ∀，结论取否定
四、综合练习
以下 5 道综合题覆盖了本节全部知识点——命题、联结词、量词及其综合应用。
A：p∧q = 真∧假 = 假。
B：p∨q = 真∨假 = 真（"或"一真必真）。
C：¬p∧¬q = 假∧真 = 假。
D：¬(p∨q) = ¬真 = 假。
所以选B。
Δ = (2a)² - 4 = 4a² - 4 ≥ 0 ⇒ a² ≥ 1 ⇒ a ≤ -1 或 a ≥ 1。选A。注意B是"且"的关系，对应Δ<0（无实数解）的情况。
p为真：∀x∈[0,1]，x² - a ≥ 0 ⇒ a ≤ x²在[0,1]上的最小值 ⇒ a ≤ 0。
q为真：∃x∈R，x² + 2ax + 1 = 0有实数解 ⇒ Δ = 4a² - 4 ≥ 0 ⇒ a ≤ -1 或 a ≥ 1。
p∧q为真⇒a≤0 且 (a≤-1 或 a≥1) ⇒ a ≤ -1。选A。