Appearance
《离散数学》期末试卷 (精选10)
一、选择题（每小题 2 分，共 20 分）
- 设 $G$ 是 $n$ 个结点、$m$ 条边和 $r$ 个面的连通平面图，则 $m$ 等于（ ）。
A. $n+r-2$ B. $n-r+2$ C. $n-r-2$ D. $n+r+2$
查看答案与解析
答案：A
解析： 根据平面图的欧拉公式（Euler's Formula）：对于一个连通平面图，有 $n - m + r = 2$。变形得 $m = n + r - 2$。
难度： ⭐ 考点： #平面图 #欧拉公式
💡 学习锦囊
📖 相关公式：
- 欧拉公式：$V - E + F = 2$（其中 $V$ 是顶点数，$E$ 是边数，$F$ 是面数）。
- 对于不连通的平面图，公式推广为：$n - m + r = k + 1$（$k$ 为连通分量数）。
🔄 举一反三
- 若一个连通平面图有 6 个顶点，12 条边，则该图有多少个面？
查看练习答案与解析
答案：8 解析：根据 $n-m+r=2$，代入得 $6-12+r=2 \implies r=8$。
- 设 $L(x)$：$x$ 是演员，$J(x)$：$x$ 是老师，$A(x,y)$：$x$ 钦佩 $y$，命题“所有演员都钦佩某些老师”符号化为（ ）。
A. $\forall x(L(x) \to A(x,y))$ B. $\forall x(L(x) \to \exists y(J(y) \land A(x,y)))$ C. $\forall x \exists y(L(x) \land J(y) \land A(x,y))$ D. $\forall x \exists y(L(x) \land J(y) \to A(x,y))$
查看答案与解析
答案：B
解析：
- 分析结构：“所有演员”对应全称量词 $\forall x(L(x) \to \dots)$。
- 谓词翻译：“钦佩某些老师”意味着存在一个 $y$，它是老师且 $x$ 钦佩它，即 $\exists y(J(y) \land A(x,y))$。
- 组合：$\forall x(L(x) \to \exists y(J(y) \land A(x,y)))$。
难度： ⭐⭐ 考点： #一阶逻辑 #命题符号化
💡 学习锦囊
📖 核心知识点：
- “所有...都...”句型：$\forall x(P(x) \to Q(x))$。
- “有些/存在...是...”句型：$\exists x(P(x) \land Q(x))$。
思路分析
符号化时注意量词的辖域。全称量词通常与蕴含词 $\to$ 搭配，存在量词通常与合取词 $\land$ 搭配。
🔄 举一反三
- 命题“有些老师钦佩所有演员”符号化为？
查看练习答案与解析
答案：$\exists x(J(x) \land \forall y(L(y) \to A(x,y)))$
- 设 $K = \{e, a, b, c\}$，$\langle K, * \rangle$ 是 Klein 四元群，则元素 $a$ 的逆元为（ ）。
A. $e$ B. $a$ C. $b$ D. $c$
查看答案与解析
答案：B
解析： Klein 四元群 $V_4$ 的特点是：每个非单位元元素的阶均为 2，即对于任何 $x \in \{a, b, c\}$，都有 $x * x = e$。根据逆元定义，$x * x = e \implies x^{-1} = x$。因此，$a$ 的逆元是它本身。
难度： ⭐⭐ 考点： #代数系统 #群论 #Klein四元群
💡 学习锦囊
📖 相关知识点：
- Klein 四元群：最小的非循环阿贝尔群。
- 阶的概念：元素的阶为 2 意味着其逆元等于其自身。
🔄 举一反三
- 在 Klein 四元群中，$a * b$ 等于多少？
查看练习答案与解析
答案：$c$ 解析：Klein 四元群中任意两个非单位元的乘积等于第三个非单位元（$ab=c, bc=a, ca=b$）。
- 设 $S \subseteq A \times B$，下列各式中（ ）是正确的。
A. $\mathrm{dom} S \subseteq B$ B. $\mathrm{dom} S \subseteq A$ C. $\mathrm{ran} S \subseteq A$ D. $\mathrm{dom} S \cup \mathrm{ran} S = S$
查看答案与解析
答案：B
解析：
- 定义域：$\mathrm{dom} S = \{x \mid \exists y \in B, \langle x, y \rangle \in S\}$，显然 $\mathrm{dom} S \subseteq A$。
- 值域：$\mathrm{ran} S = \{y \mid \exists x \in A, \langle x, y \rangle \in S\}$，显然 $\mathrm{ran} S \subseteq B$。
难度： ⭐ 考点： #集合论 #二元关系 #定义域与值域
💡 学习锦囊
📖 核心定义：
- 关系 $R \subseteq A \times B$ 的定义域是首分量的集合（属于 $A$），值域是尾分量的集合（属于 $B$）。
🔄 举一反三
- 若 $A=\{1,2\}, B=\{3,4\}, S=\{\langle 1,3 \rangle\}$，则 $\mathrm{ran} S$ 是什么？
查看练习答案与解析
答案：$\{3\}$
- 下面是前缀编码的是（ ）。
A. 00, 10, 110, 011 B. 10, 000, 101, 01 C. 111, 000, 110, 11 D. 010, 110, 01, 101
查看答案与解析
答案：A
解析：前缀编码定义：在一个编码系统中，没有任何一个编码是另一个编码的前缀。
- A 选项：任意两个互不为前缀。
- B 选项：10 是 101 的前缀。
- C 选项：11 是 111 和 110 的前缀。
- D 选项：01 是 010 的前缀。
难度： ⭐ 考点： #图论 #最优树 #前缀编码
💡 学习锦囊
📖 知识补充：
- 前缀编码对应于二叉树中叶子结点的路径，保证了解码的唯一性。
🔄 举一反三
- 给出 3 个字符的一个前缀编码方案。
查看练习答案与解析
答案：0, 10, 11（答案不唯一）
- 设 $\langle A, +, \cdot \rangle$ 是一代数系统，$+$、$\cdot$ 为普通加法和乘法运算，当 $A$ 为（ ）时，$\langle A, +, \cdot \rangle$ 是域。
A. $\{x \mid x = a + b\sqrt{5}, a, b \in \mathbb{Q} \}$ B. $\{x \mid x = a + b\sqrt[3]{5}, a, b \in \mathbb{Q} \}$ C. $\{x \mid x = \frac{a}{b}, a, b \in \mathbb{I}_{+}, \text{ 且 } a \neq kb \}$ D. $\{x \mid x \geq 0, x \in \mathbb{I} \}$
查看答案与解析
答案：A
解析：
- A 选项：实数域的一个子域 $\mathbb{Q}(\sqrt{5})$，对加、减、乘、除（除数不为 0）均封闭。
- B 选项：对乘法不封闭（会出现 $\sqrt[3]{25}$）。
- C 选项：正有理数集，对加法逆元（负数）不封闭。
- D 选项：非负整数集，对加法逆元和乘法逆元均不封闭。
难度： ⭐⭐⭐ 考点： #代数系统 #域 #数域性质
💡 学习锦囊
📖 相关知识点：
- 域的定义：$\langle F, +, \cdot \rangle$ 是域，若 $\langle F, + \rangle$ 和 $\langle F \setminus \{0\}, \cdot \rangle$ 都是阿贝尔群，且满足分配律。
🔄 举一反三
- 所有的整数集合 $\mathbb{Z}$ 关于普通加法和乘法构成域吗？
查看练习答案与解析
答案：不构成 解析：整数集中除了 1 和 -1 外，其他非零元素没有乘法逆元。
- 下列等价关系成立的有（ ）。
A. 若 $A \lor C \Leftrightarrow B \lor C$，则 $A \Leftrightarrow B$ B. 若 $A \land C \Leftrightarrow B \land C$，则 $A \Leftrightarrow B$ C. 若 $\neg A \Leftrightarrow \neg B$，则 $A \Leftrightarrow B$ D. 若 $A \Leftrightarrow B$，则 $\neg A \Leftrightarrow \neg B$
查看答案与解析
答案：C（或 D）
解析：
- A、B 选项：消去律在逻辑运算中不成立。
- C 选项：否定律成立，$\neg A \Leftrightarrow \neg B$ 与 $A \Leftrightarrow B$ 真值条件完全一致。
- D 选项：同样成立。
难度： ⭐ 考点： #命题逻辑 #等价律 #双重否定
💡 学习锦囊
📖 核心规律：
- 逻辑运算中的消去律仅在特定条件下成立，不可盲目套用代数规则。
- 双重否定律：$\neg \neg A \Leftrightarrow A$。
🔄 举一反三
- 写出 $P \to Q$ 的逆否命题等价式。
查看练习答案与解析
答案：$\neg Q \to \neg P$
- 设集合 $A, B$ 是有穷集合，且 $|A| = m, |B| = n$，则从 $A$ 到 $B$ 有（ ）个不同的双射函数。
A. $n$ B. $m$ C. $n!$ D. $m^n$
查看答案与解析
答案：C
解析： 双射存在的前提是 $m = n$。从 $A$ 到 $B$ 的双射即 $A$ 中元素到 $B$ 中元素的全排列，共有 $n!$ 种。
难度： ⭐⭐ 考点： #集合论 #函数 #双射 #排列组合
💡 学习锦囊
📖 相关公式：
- 从 $A$ 到 $B$ 的总函数个数：$n^m$。
- 从 $A$ 到 $B$ 的单射个数（若 $m \leq n$）：$P_n^m$。
🔄 举一反三
- 若 $|A|=3, |B|=3$，从 $A$ 到 $B$ 有多少个单射？
查看练习答案与解析
答案：$3! = 6$ 个 解析：对于有限集合，单射即双射。
- 设 $\langle A, \leq \rangle$ 是一个格，由格诱导的代数系统为 $\langle A, \lor, \land \rangle$，则（ ）成立。
A. $\langle A, \lor, \land \rangle$ 满足 $\lor$ 对 $\land$ 的分配律 B. $\forall a, b \in A, a \leq b \Leftrightarrow a \lor b = b$ C. $\forall a, b, c \in A$，若 $a \lor b = a \lor c$ 则 $b = c$ D. $\forall a, b \in A$，有 $a \lor (a \land b) = b$ 且 $a \land (a \lor b) = b$
查看答案与解析
答案：B
解析：
- B 选项：这是格论中序关系与运算关系的等价定义。
- A、C 选项：仅在分配格中成立。
- D 选项：吸收律应为 $a \lor (a \land b) = a$。
难度： ⭐⭐⭐ 考点： #格与布尔代数 #格的性质
💡 学习锦囊
📖 核心定义：
- 格的序定义：任一对元素都有最小上界 and 最大下界。
- 格的运算性质：满足交换律、结合律、吸收律、幂等律。
🔄 举一反三
- 格中的吸收律公式是什么？
查看练习答案与解析
答案：$a \lor (a \land b) = a$ 且 $a \land (a \lor b) = a$
- 下列表达式正确的有（ ）。
A. $\neg (P \to Q) \Rightarrow \neg Q$ B. $P \lor Q \Rightarrow P$ C. $(P \land Q) \lor (P \land \neg Q) \Leftrightarrow P$ D. $P \to (P \to Q) \Leftrightarrow T$
查看答案与解析
答案：C
解析：
- C 选项：利用分配律逆向提取：$P \land (Q \lor \neg Q) \equiv P \land T \equiv P$。
- A 选项：$\neg(P \to Q) \equiv P \land \neg Q$，显然蕴含 $\neg Q$，但 C 是更标准的逻辑等价式。
难度： ⭐⭐ 考点： #命题逻辑 #等价演算 #分配律
💡 学习锦囊
📖 常用等价律：
- 蕴含等价式：$P \to Q \equiv \neg P \lor Q$。
- 结合律、分配律、德摩根律。
🔄 举一反三
- 简化命题公式 $(P \land Q) \lor (P \land \neg Q)$。
查看练习答案与解析
答案：$P$
二、填空题（每空 2 分，共 20 分）
- 设 $p$：我生病，$q$：我去上课，命题“我虽然生病但我还是去上课”符号化为：（ ）。
查看答案与解析
答案：$p \land q$
解析： “虽然...但是...”在逻辑上等同于合取联结词 $\land$（且）。
难度： ⭐ 考点： #命题逻辑 #联结词符号化
💡 学习锦囊
📖 知识点：
- “且”、“并”、“但是”、“虽然...但是”通常对应 $\land$。
- “或者”对应 $\lor$。
🔄 举一反三
- 命题“小王既会打球又会游泳”符号化为？
查看练习答案与解析
答案：$p \land q$
- 设 $|A| = 3$，则 $A$ 上有（ ）个二元关系。
查看答案与解析
答案：512
解析： 二元关系是 $A \times A$ 的子集。$|A \times A| = 3^2 = 9$。其幂集大小为 $2^9 = 512$。
难度： ⭐⭐ 考点： #集合论 #二元关系计数
💡 学习锦囊
📖 核心公式：
- 集合 $A$ 上的二元关系总数：$2^{|A|^2}$。
🔄 举一反三
- 设 $|A|=2$，则 $A$ 上有多少个自反关系？
查看练习答案与解析
答案：$2^{2^2 - 2} = 2^2 = 4$ 个 解析：自反关系必须包含所有对角线元素。
- 按德·摩根定理，$\neg A_1 \lor \neg A_2 \lor \dots \lor \neg A_n = \bigvee_{i=1}^{n} \neg A_i = (\quad)$。
查看答案与解析
答案：$\neg (\bigwedge_{i=1}^{n} A_i)$
解析： 广义德·摩根定律：析取的否定等于否定的合取，反之亦然。
难度： ⭐ 考点： #命题逻辑 #广义德摩根律
💡 学习锦囊
📖 相关公式：
- $\neg (\bigvee A_i) \equiv \bigwedge \neg A_i$。
- $\neg (\bigwedge A_i) \equiv \bigvee \neg A_i$。
🔄 举一反三
- 写出 $\neg (P \lor Q \lor R)$ 的等价式。
查看练习答案与解析
答案：$\neg P \land \neg Q \land \neg R$
- 设 $A = \{a, b, c\}$，考虑子集 $S_3 = \{\{a\}, \{b, c\}\}, S_4 = \{\{a, b, c\}\}, S_5 = \{\{a\}, \{b\}, \{c\}\}$，则 $A$ 的划分有（ ）。
查看答案与解析
答案：$S_3, S_4, S_5$
解析： 划分要求子集非空、两两不相交、并集为全集。$S_3, S_4, S_5$ 均满足要求。
难度： ⭐⭐ 考点： #集合论 #划分定义
💡 学习锦囊
📖 知识点：
- 划分中的子集称为“类”或“块”。
🔄 举一反三
- 集合 $\{1, 2\}$ 有多少种不同的划分？
查看练习答案与解析
答案：2 种 解析：$\{\{1, 2\}\}$ 和 $\{\{1\}, \{2\}\}$。
- 设 $P, Q$ 真值为 0，$R, S$ 真值为 1，则 $\neg (P \lor (Q \to (R \land \neg P))) \to (R \lor \neg S)$ 的真值为（ ）。
查看答案与解析
答案：1
解析：
- $\neg P = 1$，$R \land 1 = 1$。
- $Q \to 1 = 1$。
- $P \lor 1 = 1$。
- $\neg 1 = 0$。
- $R \lor \neg S = 1 \lor 0 = 1$。
- $0 \to 1 = 1$。
难度： ⭐⭐ 考点： #命题逻辑 #真值演算
💡 学习锦囊
📖 提示：
- 蕴含式 $A \to B$ 仅在 $T \to F$ 时为假。
🔄 举一反三
- 若 $P$ 为假，则 $P \to Q$ 的真值为？
查看练习答案与解析
答案：1
- 任一无向图中，度数为奇数的结点有（ ）个。
查看答案与解析
答案：偶数
解析： 根据握手定理，总度数为 $2|E|$，必须为偶数。奇数度顶点的贡献必须凑成偶数，故其个数必为偶数。
难度： ⭐ 考点： #图论 #握手定理
💡 学习锦囊
📖 相关公式：
- $\sum \deg(v) = 2|E|$。
🔄 举一反三
- 一个有 5 个顶点的完全图 $K_5$，每个顶点的度数是多少？
查看练习答案与解析
答案：4
- 若 $S = \{S_1, S_2, \dots, S_m\}$ 是集合 $A$ 的一个划分，则它应满足：任意 $S_i, S_j \in S$，若 $i \neq j$，则（ ）。
查看答案与解析
答案：$S_i \cap S_j = \emptyset$
解析： 划分的基本要求之一是各子集互不相交。
难度： ⭐ 考点： #集合论 #划分定义
💡 学习锦囊
📖 核心要求：
- 非空性、两两不交性、覆盖性。
🔄 举一反三
- 若 $S_1 \cap S_2 \neq \emptyset$，则 $\{S_1, S_2\}$ 是划分吗？
查看练习答案与解析
答案：不是
- 令 $R(x): x$ 是实数，$Q(x): x$ 是有理数。则命题“并非每个实数都是有理数”的符号化表示为（ ）。
查看答案与解析
答案：$\neg \forall x(R(x) \to Q(x))$ 或 $\exists x(R(x) \land \neg Q(x))$
解析： 先符号化“每个实数都是有理数”得到 $\forall x(R(x) \to Q(x))$，再在其外部施加否定。
难度： ⭐⭐ 考点： #一阶逻辑 #量词符号化
💡 学习锦囊
📖 等价式：
- $\neg \forall x P(x) \Leftrightarrow \exists x \neg P(x)$。
- $\neg (A \to B) \Leftrightarrow A \land \neg B$。
🔄 举一反三
- 命题“没有实数是有理数”如何符号化？
查看练习答案与解析
答案：$\forall x(R(x) \to \neg Q(x))$
- 给定命题公式 $A, B$，若（ ），则称 $A$ 和 $B$ 是逻辑相等的。
查看答案与解析
答案：$A \leftrightarrow B$ 为永真式
解析： 逻辑相等的定义是两者在任何解释下真值都相同。
难度： ⭐ 考点： #命题逻辑 #逻辑等价
💡 学习锦囊
📖 提示：
- 逻辑相等符号通常用 $\Leftrightarrow$ 或 $\equiv$ 表示。
🔄 举一反三
- $P \lor \neg P$ 逻辑等价于什么常量？
查看练习答案与解析
答案：$T$（真）
- 设图 $D$ 的邻接矩阵 $A$ 的第一列为 $[0, 1, 0, 1]^T$，则 $v_1$ 的入度 $\deg^-(v_1) = (\quad)$。
查看答案与解析
答案：2
解析： 有向图邻接矩阵中，第 $j$ 列的元素之和等于结点 $v_j$ 的入度。$0+1+0+1 = 2$。
难度： ⭐⭐ 考点： #图论 #邻接矩阵性质
💡 学习锦囊
📖 记忆口诀：
- 行和出度，列和入度。
🔄 举一反三
- 若邻接矩阵第一行之和为 3，说明什么？
查看练习答案与解析
答案：结点 $v_1$ 的出度为 3
三、简答题（每小题 8 分，共 40 分）
- 设集合 $A = \{a, b, c, d\}$ 上关系 $R = \{ \langle a,b \rangle, \langle b,a \rangle, \langle b,c \rangle, \langle c,d \rangle \}$。
- 写出 $R$ 的关系矩阵 $M_R$ 和关系图。
- 用矩阵运算求出 $R$ 的传递闭包 $t(R)$。
查看答案与解析
答案：1) 矩阵与图： $M_R = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 1 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix}$，图包含路径 $a \leftrightarrow b \to c \to d$。
2) 传递闭包： $M_R^{(2)} = M_R \cdot M_R = \begin{pmatrix} 1 & 0 & 1 & 0 \\ 0 & 1 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}$$M_R^{(3)} = \begin{pmatrix} 0 & 1 & 0 & 1 \\ 1 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}, M_R^{(4)} = M_R^{(2)}$$M_{t(R)} = M_R \lor M_R^{(2)} \lor M_R^{(3)} \lor M_R^{(4)} = \begin{pmatrix} 1 & 1 & 1 & 1 \\ 1 & 1 & 1 & 1 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix}$
难度： ⭐⭐ 考点： #二元关系 #关系矩阵 #传递闭包
方法总结
- 关系矩阵：按集合元素顺序排列，若有关系则置 1，否则置 0。
- 传递闭包：可通过矩阵幂之和 $M \lor M^{(2)} \lor \dots \lor M^{(n)}$ 或 Warshall 算法求得。
💡 学习锦囊
📖 相关方法：
- 传递闭包反映了图中结点间的可达性。
- Warshall 算法是求闭包的高效算法。
🔄 举一反三
- 求 $R = \{\langle 1, 2 \rangle, \langle 2, 3 \rangle\}$ 的传递闭包。
查看练习答案与解析
答案：$\{\langle 1, 2 \rangle, \langle 2, 3 \rangle, \langle 1, 3 \rangle\}$
- 设 $A = \{1, 2, 3, 4\}$，$S = \{ \{1\}, \{2, 3\}, \{4\} \}$ 为 $A$ 的划分，求导出的等价关系 $R$。
查看答案与解析
答案：$R = \{ \langle 1,1 \rangle, \langle 2,2 \rangle, \langle 3,3 \rangle, \langle 2,3 \rangle, \langle 3,2 \rangle, \langle 4,4 \rangle \}$
解析： 划分中的元素互为等价，据此列出所有有序对。
难度： ⭐ 考点： #集合论 #等价关系与划分
💡 学习锦囊
📖 提示：
- 每个子集（类）内所有元素两两建立关系，并包含所有自反序对。
🔄 举一反三
- 由等价关系能否反向求出划分？
查看练习答案与解析
答案：可以。划分的每个子集即为一个等价类。
- 已知某树有 2 个 2 度结点、3 个 3 度结点、4 个 4 度结点，问有几个叶子点。
查看答案与解析
答案：13
解析：
- 顶点数 $n = 2 + 3 + 4 + L = 9 + L$。
- 边数 $E = n - 1 = 8 + L$。
- 度数总和：$2(2) + 3(3) + 4(4) + L(1) = 29 + L$。
- $29 + L = 2(8 + L) \implies L = 13$。
难度： ⭐⭐ 考点： #图论 #树的性质 #握手定理
方法总结
解决此类树的度数问题，核心在于联立两个基本等式：
- 树的性质：$E = V - 1$。
- 图的性质（握手定理）：$\sum \deg(v) = 2E$。
💡 学习锦囊
📖 核心公式：
- 在任何树中，$E = V - 1$。
🔄 举一反三
- 具有 $n$ 个结点的树，其度数之和是多少？
查看练习答案与解析
答案：$2(n-1)$
- 设 $S = \mathbb{R} \setminus \{-1\}$，$a * b = a + b + ab$。说明 $\langle S, * \rangle$ 是否构成群。
查看答案与解析
答案：构成群
解析：
- 封闭性：$(a+1)(b+1)-1 \neq -1$ 成立。
- 结合律：代数展开验证成立。
- 单位元：$e = 0$。
- 逆元：$b = -a/(1+a) \in S$。
难度： ⭐⭐⭐ 考点： #代数系统 #群判定
方法总结
判定一个集合在给定运算下构成群，必须依次验证：
- 封闭性：运算结果仍属于该集合。
- 结合律：通常通过代数展开验证。
- 单位元：寻找 $e$ 使得 $a*e = e*a = a$。
- 逆元：对每个元素 $a$ 寻找 $a^{-1}$ 使得 $a*a^{-1} = e$。
💡 学习锦囊
📖 技巧：
- 看到 $a+b+ab$，可以联想结构 $(a+1)(b+1)-1$，这往往能简化证明。
🔄 举一反三
- 在该群中，$x * x = 0$ 的解是什么？
查看练习答案与解析
答案：$x=0$ 或 $x=-2$ 解析：$2x+x^2=0 \implies x(x+2)=0$。
- 将公式 $((P \lor Q) \land R) \to (P \land R)$ 化为只含有 $\neg, \land$ 的等价公式。
查看答案与解析
答案：$\neg ( \neg ( \neg ( \neg P \land \neg Q ) \land R ) \land \neg ( P \land R ) )$
解析： 利用 $A \lor B \equiv \neg(\neg A \land \neg B)$ 和 $A \to B \equiv \neg(A \land \neg B)$。
难度： ⭐⭐ 考点： #命题逻辑 #联结词完备集
💡 学习锦囊
📖 核心公式：
- 所有联结词均可用 $\{\neg, \land\}$ 或 $\{\neg, \lor\}$ 表示。
🔄 举一反三
- 用 $\neg, \lor$ 表示 $P \to Q$。
查看练习答案与解析
答案：$\neg P \lor Q$
四、证明题（每小题 10 分，共 20 分）
- 证明 $R = \{ \langle \langle a, b \rangle, \langle c, d \rangle \rangle \mid a + d = b + c \}$ 是 $A \times A$ 上的等价关系，并求出 $[\langle 2, 5 \rangle]_R$。
查看答案与解析
证明与求解：
- 等价关系证明：
- 自反性：$a+b=b+a$。
- 对称性：$a+d=b+c \implies c+b=d+a$。
- 传递性：$(a+d=b+c) + (c+f=d+e) \implies a+f=b+e$。
- 等价类： $[\langle 2, 5 \rangle]_R = \{ \langle x, y \rangle \mid 2 + y = 5 + x \iff y - x = 3 \}$。 结果：$\{ \langle 1, 4 \rangle, \langle 2, 5 \rangle, \dots, \langle 6, 9 \rangle \}$。
难度： ⭐⭐ 考点： #集合论 #等价关系证明 #等价类
方法总结
- 等价关系证明：必须分步证明自反性、对称性和传递性。
- 等价类求解：根据定义的等效条件，寻找所有满足方程的有序对集合。
💡 学习锦囊
📖 知识点：
- 该关系本质上定义了自然数的减法（或整数的等价类）。
🔄 举一反三
- 若定义 $ad=bc$，则是等价关系吗？
查看练习答案与解析
答案：在非零数集上是，本质是定义分数的相等。
- 证明：若 $H \subseteq G$ 且 $H$ 的元素与 $G$ 中所有元素交换，若 $\langle H, * \rangle$ 是群，则其为 $\langle G, * \rangle$ 的子群。
查看答案与解析
证明思路：
- 运算一致性：题设已给定。
- 单位元一致性：$e_H * e_H = e_H \implies e_H = e_G$。
- 封闭性与逆元：由 $H$ 是群直接得出。 满足子群判定的三个核心条件。
难度： ⭐⭐ 考点： #代数系统 #子群判定
💡 学习锦囊
📖 补充：
- $H$ 的这种性质说明 $H$ 位于 $G$ 的中心 $Z(G)$ 内。
🔄 举一反三
- 证明群的中心 $Z(G)$ 必是子群。
查看练习答案与解析
解析：验证封闭性和逆元...（略）