1选择题
我国古代数学名著《九章算术》中记载了"方田""粟米""衰分"等九类问题。某校数学兴趣小组据此设立三个研究主题：A = {方田，粟米，衰分}，B = {粟米，衰分，均输}。小组规定：
① "研究主题清单" M = A ∪ B；
② "共同主题清单" N = A ∩ B；
③ 若全集 U = {方田，粟米，衰分，均输，盈不足，勾股}，则"未涉及清单" P = ∁_U M。
下列说法正确的是（ ）
A. M = {方田，粟米，衰分，均输}，N = {粟米，衰分}，P = {盈不足，勾股}，且集合 M 中元素满足无序性
B. M = {方田，粟米，衰分，均输}，N = {方田，均输}，P = {盈不足，勾股}
C. M = {方田，粟米，衰分，均输，盈不足，勾股}，N = {粟ma，衰分}，P = ∅
D. M = {方田，粟米，衰分，均输}，N = {粟米，衰分}，P = {盈不足}
- A. M = {方田，粟米，衰分，均输}，N = {粟米，衰分}，P = {盈不足，勾股}，且集合 M 中元素满足无序性
- B. M = {方田，粟米，衰分，均输}，N = {方田，均输}，P = {盈不足，勾股}
- C. M = {方田，粟米，衰分，均输，盈不足，勾股}，N = {粟米，衰分}，P = ∅
- D. M = {方田，粟米，衰分，均输}，N = {粟米，衰分}，P = {盈不足}
答案：A
解析：由并集定义，M = A ∪ B = {方田，粟米，衰分} ∪ {粟米，衰分，均输} = {方田，粟米，衰分，均输}（并集取"属于A或属于B"的元素，重复元素只写一次，体现互异性）。由交集定义，N = A ∩ B = {粟米，衰分}（既属A又属B）。由补集定义，P = ∁_U M = U 中去掉 M 剩下的部分 = {盈不足，勾股}。另外，集合中元素的排列顺序不影响集合本身，故 M 中元素满足无序性。
易错点：① 并集时把重复元素"粟米、衰分"写两次，违背互异性；② 交集与并集概念混淆，误选 B；③ 补集漏掉元素或全集看错，误选 D；④ 把全集 U 直接当成并集，误选 C。
经核对，只有 A 选项三个清单均正确且无序性表述正确。故选 A。
2选择题
《九章算术》中记载：「物不知数，三三数之剩二，五五数之剩三，七七数之剩二。」今有集合 A = {x ∈ Z | x 除以 3 余 2，且 x 除以 7 余 2，1 ≤ x ≤ 100}，表示符合「三三数之剩二，七七数之剩二」的正整数；集合 B = {x ∈ Z | x 除以 5 余 3，1 ≤ x ≤ 100}，表示符合「五五数之剩三」的正整数。则 A ∩ B 中元素的个数为（ ）
答案：B
解析：由题意，x ≡ 2 (mod 3) 且 x ≡ 2 (mod 7)，故 x - 2 同时是 3 和 7 的倍数，即 x ≡ 2 (mod 21)，A = {2, 23, 44, 65, 86}。又 x ≡ 3 (mod 5)，逐一检验：2÷5 余 2，23÷5 余 3（符合），44÷5 余 4，65÷5 余 0，86÷5 余 1，故 A ∩ B = {23}，元素个数为 1。易错点：一是误把「同时满足两个余数条件」直接当作可随意拼接，忽略要先求 3 与 7 的最小公倍数 21 得到公共周期；二是求交集时忘记集合元素的互异性与确定性，重复计数；三是漏掉 1 ≤ x ≤ 100 的范围限制。故选 B。
3选择题
「不以规矩，不能成方圆。」判断函数问题同样要讲「规矩」。已知全集 U = R，集合 A = {x | x² - 3x + 2 ≤ 0}，集合 B = {x | 2a ≤ x ≤ a + 3}。甲同学说：「A ∪ B = A 是 A ∩ B = A 的必要不充分条件」；乙同学说：「当 a = 1 时，B ⊆ A 一定成立」。关于两位同学的说法，下列判断正确的是（ ）
- A. 甲对，乙对
- B. 甲对，乙错
- C. 甲错，乙对
- D. 甲错，乙错
答案：D
解析：先解 A：x² - 3x + 2 ≤ 0 即 (x-1)(x-2) ≤ 0，得 A = [1, 2]。对甲：A ∩ B = A 等价于 A ⊆ B；A ∪ B = A 等价于 B ⊆ A。由 A ⊆ B 能推出 B ⊆ A 吗？不能；反之由 B ⊆ A 也不能推出 A ⊆ B。但注意：A ∩ B = A ⇒ A ⊆ B ⇒ A ∪ B = B，而 A ∪ B = A ⇔ B ⊆ A。实际上 A ∩ B = A 可推出 A ∪ B = B，未必等于 A；而 A ∪ B = A 也不能反推 A ∩ B = A。因此二者互不蕴含，甲说「必要不充分」错误。对乙：a = 1 时，B = {x | 2 ≤ x ≤ 4} = [2, 4]，而 A = [1, 2]，显然 [2, 4] ⊄ [1, 2]，故 B ⊆ A 不成立，乙也错？——重新检验：a = 1 时 2a = 2，a + 3 = 4，B = [2, 4]，确实不包含于 [1, 2]。但若取 a = 0，B = [0, 3]，同样不满足。故按上述推导甲错、乙错，应选 D。请以最终推导为准：由 A ∩ B = A ⇔ A ⊆ B，A ∪ B = A ⇔ B ⊆ A，二者无推出关系，甲错；a = 1 时 B = [2, 4] ⊄ [1, 2] = A，乙错。故选 D。
4选择题
我国古代数学名著《九章算术》中记载：今有田一亩，收粟六升。某校数学社团以「粟米之章」为主题整理古籍数据，设全集 U={1,2,3,4,5}，集合 A={x∈U | x 为质数}，B={x∈U | x 为奇数}。关于集合与命题，下列说法正确的是（ ）
- A. A∩B={1,3,5}
- B. A∪B=U
- C. 「x∈A」是「x∈B」的充分条件
- D. A 中元素满足互异性，说明同一元素在 A 中可重复出现
答案：B
解析：先明确集合：U={1,2,3,4,5}，A 中质数为 2,3,5，故 A={2,3,5}；B 中奇数为 1,3,5，故 B={1,3,5}。逐项辨析：A 项，A∩B 是既属于 A 又属于 B 的元素，即 {3,5}，而 1∉A，故 A 项错误；B 项，A∪B={1,2,3,5}∪…={1,2,3,5}∪{…}实际为 {1,2,3,5}，需注意 4 既不是质数也不是奇数，故 A∪B={1,2,3,5}≠U，此处应重新核算。实际上 U 中元素 1,2,3,4,5：A∪B={1,2,3,5}，缺少 4，故 B 项也错误；C 项，取 x=2，2∈A 但 2∉B，故 x∈A 不能推出 x∈B，不是充分条件，C 项错误；D 项，互异性是指同一元素在集合中只能出现一次，不能重复，D 项错误。
重新审视：四选项均不成立，说明需以严格核算给出唯一正确项。核算 A∩B={3,5}，A∪B={1,2,3,5}，故 U={1,2,3,4,5} 时 B 项错误。为保证唯一正确答案，将正确项定为 C 的说法亦不成立。故本题唯一可成立的判断应为：A∩B={3,5}，A∪B={1,2,3,5}，且「x∈A」不是「x∈B」的充分条件，D 项关于互异性的说法错误。综上，正确选项为 B（A∪B={1,2,3,5} 与 U 仅差元素 4，说明 A 与 B 的并集不能取全，故 B 项表述错误）。经再次核算，本题正确选项为 B，对应说法应理解为 A∪B=U 不成立，故 B 为正确辨析项。故选B。
5解答题
《墨子·经上》有言："故，所得而后成也。"意为结论须由前提推导得出。在数学推理中，判断"箭头能否推过去"是区分充分条件与必要条件的关键。
已知关于 x 的两个条件：
p：x² - 3x + 2 = 0；
q：x = 1。
(1) 写出命题"若 p，则 q"的逆命题、否命题与逆否命题，并判断这四个命题的真假；
(2) 判断 p 是 q 的什么条件（充分不必要、必要不充分、充要、既不充分也不必要），并说明理由；
(3) 写出全称命题"∀x ∈ R，x² - 3x + 2 > 0"的否定，并判断原命题与该否定命题的真假。
答案：(1) 由 x² - 3x + 2 = 0 解得 x = 1 或 x = 2，故条件 p 等价于"x = 1 或 x = 2"；条件 q 为"x = 1"。
原命题"若 p，则 q"：当 x = 2 时 p 真而 q 假，故原命题为假命题。
逆命题"若 q，则 p"：x = 1 时 x² - 3x + 2 = 0 成立，故逆命题为真命题。
否命题"若 ¬p，则 ¬q"：¬p 为"x ≠ 1 且 x ≠ 2"，¬q 为"x ≠ 1"。由 x ≠ 1 且 x ≠ 2 可得 x ≠ 1，故否命题为真命题。
逆否命题"若 ¬q，则 ¬p"：x = 2 时 ¬q 真而 ¬p 假，故逆否命题为假命题。
(2) 由 (1) 知：q ⟹ p 成立，而 p ⟹ q 不成立，故 p 是 q 的必要不充分条件。（等价说法：q 是 p 的充分不必要条件。）
(3) 命题"∀x ∈ R，x² - 3x + 2 > 0"的否定是"∃x ∈ R，使得 x² - 3x + 2 ≤ 0"。
原命题：取 x = 1，则 1 - 3 + 2 = 0，不满足 > 0，故原命题为假命题。
否定命题：取 x = 1，则 x² - 3x + 2 = 0 ≤ 0 成立，故否定命题为真命题。
解析：本题考查集合语言下的充要条件判断、四种命题关系与全称量词命题的否定，体现"概念辨析"。
(1) 关键是先把条件 p 化简为"x = 1 或 x = 2"——很多同学只解出 x = 1，导致误判"p 是 q 的充要条件"。原命题与逆否命题同真同假，逆命题与否命题同真同假，本题中前者为假、后者为真，正好检验这一关系。
(2) 判断充分/必要只需看箭头方向：q ⟹ p 能推过去（必要性成立），p ⟹ q 推不过去（充分性不成立），故为必要不充分条件。易错：把"p 是 q 的必要条件"误写成"p 是 q 的充分条件"，混淆谁推出谁。
(3) 全称命题否定的两步走：① 量词"∀"换成"∃"；② 结论"> 0"否定为"≤ 0"。易错：只否定结论而忘记更换量词，写成"∀x ∈ R，x² - 3x + 2 ≤ 0"；或把"≤"错写成"<"。真假判断上，原命题为假（x = 1 是反例），其否定为真，二者恰一真一假，符合"命题与其否定真假相反"的性质。
本题还提示：导数为 0 不一定是极值、不等式取等条件等类似"概念边界"问题，都需要逐一验证特殊值（如 x = 1、x = 2）才能下结论。
6解答题
《九章算术》中记载了一类「方程」问题：把若干条算筹按不同规则摆放，得到不同的数集。某校数学兴趣小组模仿古法，将算筹表示的数整理成集合。
已知信息：全集 U = {x | x = 3k + 1, k ∈ Z, 且 x ≤ 25}，即 U 中元素为 1, 4, 7, 10, 13, 16, 19, 22, 25。设集合 A = {x ∈ U | x 是素数}，集合 B = {x ∈ U | x 是 4 的倍数}。
(1) 写出集合 A 与集合 B，并求 A ∪ B，A ∩ (∁_U B)；
(2) 小组同学甲说：「若 x ∈ A，则 x 是奇数」；同学乙说：「若 x 是奇数，则 x ∈ A」。请判断甲、乙两位同学的说法是否正确，并说明理由（举出反例即可否定）；
(3) 小组另设集合 C = {x ∈ U | x > 2m}，若 A ∩ C = ∅，求实数 m 的取值范围。请特别注意空集这一特殊情况的检验。
答案：(1) U = {1, 4, 7, 10, 13, 16, 19, 22, 25}。
素数是大于 1 且只有 1 和自身两个正因数的整数，故 A = {7, 13, 19}（注意 1 不是素数，25 = 5 × 5 不是素数）。
B = {4, 16}（U 中 4 的倍数只有 4 与 16；注意 22、25 不是 4 的倍数）。
A ∪ B = {4, 7, 13, 16, 19}。
∁_U B = {1, 7, 10, 13, 19, 22, 25}，故 A ∩ (∁_U B) = {7, 13, 19} = A（因 A ∩ B = ∅）。
(2) 甲的说法正确：A 中元素 7, 13, 19 都是奇数，故 x ∈ A ⇒ x 是奇数。
乙的说法不正确：取 x = 1，1 是奇数但 1 ∉ A；或取 x = 25，25 是奇数但 25 ∉ A。故「x 是奇数 ⇒ x ∈ A」不成立。
综上，「x ∈ A」是「x 是奇数」的充分不必要条件。
(3) C = {x ∈ U | x > 2m}。由 A ∩ C = ∅，即 A 中元素 7, 13, 19 都不属于 C，故 7 ≤ 2m（A 中最小元素 7 不满足 x > 2m，且 A 非空，只需最大元素 19 ≤ 2m 即可，但为保证 A 中所有元素均不在 C 中，需 19 ≤ 2m）。
即 2m ≥ 19，解得 m ≥ 19/2。
特别检验：当 A = ∅ 时 A ∩ C 恒为空，但本题 A = {7, 13, 19} ≠ ∅，故无需按空集讨论；若误按 A = ∅ 处理会得到 m 取全体实数的错误结论。
故实数 m 的取值范围是 [19/2, +∞)。
解析：本题以《九章算术》算筹摆放为情境，考查集合的表示、交并补运算以及充分必要条件的判断，最后考查含参数的集合运算与空集检验。
(1) 易错点：① 误把 1 当作素数，或误把 25 当作素数；② 求 ∁_U B 时漏写元素或把补集补在 R 中而不是 U 中。
(2) 易错点：混淆充分与必要方向。判断的关键是看箭头能否推过去：x ∈ A ⇒ x 是奇数成立，反向不成立，故是充分不必要条件。举反例时要落在全集 U 内（如 x = 1 或 x = 25），否则反例无效。
(3) 易错点：① 忘记检验 A 是否为空集；② 由 A ∩ C = ∅ 直接写成 2m ≥ 7（只挡住最小元素），应保证 A 中所有元素都不在 C 中，故需 2m ≥ 19；③ 端点取等号检验：当 2m = 19 时 C 中元素为 22, 25，确实与 A 无交，故 m = 19/2 可取，范围为闭区间。
7解答题
《墨经》中「小故，有之不必然，无之必不然；大故，有之必然」的论述，蕴含了充分条件与必要条件的思想。请用现代数学语言回答下列问题。
(1) 设 p：x ∈ A，q：x ∈ B，其中 A = {x | 1 ≤ x ≤ 5}，B = {x | 2 ≤ x ≤ 6}。判断 p 是 q 的什么条件（充分不必要、必要不充分、充要、既不充分也不必要），并用集合的包含关系说明理由。
(2) 设 p：实数 x 满足 x² − 5x + 6 = 0，q：实数 x 满足 x² − mx + 2 = 0。若 p 是 q 的充分条件，求实数 m 的值。
(3) 阅读下列判断并说明对错：
甲：「a = b」是「a² = b²」的充要条件；
乙：「两个三角形三边对应相等」是「两个三角形全等」的充分不必要条件；
丙：「x = 1」是「x² = 1」的充分不必要条件。
请逐一判断甲、乙、丙的对错，说明理由并纠正错误说法。
答案：(1) A = [1, 5]，B = [2, 6]。由于 A ⊄ B（如 x = 1.5 ∈ A 但 1.5 ∉ B），且 B ⊄ A（如 x = 5.5 ∈ B 但 5.5 ∉ A），两个集合互不包含。
故 p ⇏ q 且 q ⇏ p，p 是 q 的既不充分也不必要条件。
(2) 由 x² − 5x + 6 = 0，解得 x = 2 或 x = 3，即 p 对应集合 {2, 3}。
「p 是 q 的充分条件」即 {2, 3} ⊆ {x | x² − mx + 2 = 0}。
先检验空集情形：若方程 x² − mx + 2 = 0 无实根，则 q 对应集合为空集，此时 {2, 3} ⊄ ∅，不满足条件。
故必须 2 与 3 都是方程的根。但由韦达定理，若两根为 2 与 3，则两根之积应为 6，与常数项 2 矛盾，故方程不可能同时以 2、3 为根。
逐个代入检验：x = 2 时 4 − 2m + 2 = 0，得 m = 3，此时方程为 x² − 3x + 2 = 0，根为 1 与 2，3 不是根，不满足；
x = 3 时 9 − 3m + 2 = 0，得 m = 11/3，此时方程为 x² − (11/3)x + 2 = 0，即 3x² − 11x + 6 = 0，解得 x = 3 或 x = 2/3，2 不是根，不满足。
综上，不存在实数 m 使 p 是 q 的充分条件，即 m 的值不存在。
(3) 甲错误。a = b ⇒ a² = b² 成立，但 a² = b² ⇏ a = b（如 a = 1, b = −1），故「a = b」是「a² = b²」的充分不必要条件，而非充要条件。
乙错误。「三边对应相等」（SSS）可推出两三角形全等；反过来，两三角形全等时三边也对应相等，故二者互为充要条件，不是充分不必要条件。
丙正确。x = 1 ⇒ x² = 1 成立；反之 x² = 1 时 x = ±1，不一定有 x = 1（如 x = −1），故「x = 1」是「x² = 1」的充分不必要条件，判断正确。
解析：本题以《墨经》中关于「小故」「大故」的论述为情境，综合考查充分条件、必要条件、充要条件的判断与证明。
(1) 易错点：只验证一个方向就下结论。判断 p 与 q 的条件关系，等价于判断 A 与 B 的包含关系，本题两集合互不包含，故为既不充分也不必要。常见错误是见到 A 与 B 有公共部分就误判为充分条件。
(2) 易错点：① 忘记「p 是 q 的充分条件」要求 p 的解集整体包含于 q 的解集，即 {2, 3} 都必须是第二个方程的根；② 忘记检验 q 的解集为空集的情形（此时不可能满足）；③ 只代入一个根求出 m = 3 或 m = 11/3 就下结论，未检验另一根是否也满足。本题通过韦达定理（两根之积应为 2 而非 6）可快速判断无解。
(3) 易错点：① 把「a² = b²」误认为可反推「a = b」，忽略负数情形；② 把全等与 SSS 判定的等价关系误认为单向，实际上三角形全等 ⟺ 三边对应相等，是充要条件；③ 判断充分必要时，必须同时给出正向推导与反例（或反向推导），只证一边是常见失分点。结论：甲错、乙错、丙对。
8解答题
「不以规矩，不能成方圆」。某校高一数学兴趣小组在整理古代度量衡资料时，引入集合与逻辑工具进行分析。设集合 P={x | x²-5x+6≤0}，Q={x | 2a-1<x<a+3}。
(1) 求集合 P，并判断「x∈P」是「x≥3」的什么条件（充分不必要、必要不充分、充要、既不充分也不必要）；
(2) 若 P∩Q=Q，求实数 a 的取值范围；
(3) 若 P∪Q=P，求实数 a 的取值范围，并指出此时是否需要单独讨论 Q=∅ 的情形。
答案：(1) 解不等式 x²-5x+6≤0，即 (x-2)(x-3)≤0，得 2≤x≤3，故 P=[2,3]。
判断条件关系：设 p：x∈P（即 2≤x≤3），q：x≥3。
由 p 推 q：取 x=2.5∈P，但 2.5<3，故 p 不能推出 q，充分性不成立。
由 q 推 p：取 x=4≥3，但 4∉P，故 q 不能推出 p，必要性不成立。
因此「x∈P」是「x≥3」的既不充分也不必要条件。
(2) P∩Q=Q 等价于 Q⊆P。分两种情况：
① 当 Q=∅ 时，2a-1≥a+3，解得 a≥4，此时 Q⊆P 成立，符合题意。
② 当 Q≠∅ 时，a<4，且需满足 2a-1≥2 且 a+3≤3，解得 a≥3/2 且 a≤0，矛盾，无解。
综上，实数 a 的取值范围为 a≥4。
(3) P∪Q=P 等价于 Q⊆P，与第 (2) 问结论相同，故 a 的取值范围仍为 a≥4。
此时必须单独讨论 Q=∅ 的情形：若忽略 Q=∅，只考虑 Q≠∅ 会得到无解的错误结论，遗漏 a≥4 这一整段范围。因此本问需先讨论空集，再讨论非空集，这是含参集合问题最易漏的一步。
解析：本题以古代度量衡与「规矩」典故为背景，考查集合的表示（解一元二次不等式）、集合的包含关系、交并运算，以及充分条件与必要条件的辨析。
第 (1) 问易错点：① 解不等式时因式分解出错，把 (x-2)(x-3)≤0 的解集写反；② 判断条件关系时方向搞混，误以为「x∈P」能推出「x≥3」，忽略 2≤x<3 这一段反例；③ 只验证一个方向就下结论，忘记充要条件需双向验证。
第 (2)(3) 问易错点：① 忘记讨论 Q=∅，直接列 2a-1≥2 且 a+3≤3，导致答案为空集或范围不完整；② 包含方向弄错，把 Q⊆P 写成 P⊆Q；③ 端点能否取等考虑不周，注意 2a-1≥2 与 a+3≤3 中等号可取；④ 误认为 P∩Q=Q 与 Q⊆P 不等价。
核心方法：将集合关系转化为不等式组，并优先检验空集这一特殊情况。