108 年 國立中山大學電機工程學系碩士班戊組《離散數學》

📄 試題原卷 免費註冊後即可對照原始考卷 PDF免費註冊

第 1 題

How many positive integer solutions to the equation 4x+7y=1174x + 7y = 117?
(a) 1
(b) 2
(c) 3
(d) 4

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查數論(Number Theory)中的**二元一次丟番圖方程式(Linear Diophantine Equation)**求正整數解的個數。

用到之核心定義與定理如下:

  1. 丟番圖方程式可解性定理:對於二元一次方程式 ax+by=cax + by = c(其中 a,b,c∈Za, b, c \in \mathbb{Z} 且 a,ba, b 不全為 0),若且唯若 gcd⁡(a,b)∣c\gcd(a, b) \mid c 時,該方程式存在整數解。
  2. 通解結構定理:若已求得一組特解 (x0,y0)(x_0, y_0),則其所有整數解(通解)可表示為:
    x=x0+bgcd⁡(a,b)⋅kx = x_0 + \frac{b}{\gcd(a, b)} \cdot k
    y=y0−agcd⁡(a,b)⋅k(k∈Z)y = y_0 - \frac{a}{\gcd(a, b)} \cdot k \quad (k \in \mathbb{Z})
  3. 正整數解約束條件:題目要求「正整數解」(Positive Integer Solutions),意即 x>0x > 0 且 y>0y > 0(亦即 x,y≥1x, y \ge 1 且 x,y∈Zx, y \in \mathbb{Z})。

解題方法

步驟一:確認解的存在性

給定方程式:
4x+7y=1174x + 7y = 117
計算係數的最大公因數:gcd⁡(4,7)=1\gcd(4, 7) = 1。
因為 1∣1171 \mid 117,故此方程式必存在整數解。

步驟二:尋求特解 (x0,y0)(x_0, y_0)

利用同餘(Congruence)的觀念求解 xx 的特解:
4x+7y=117  ⟹  4x≡117(mod7)4x + 7y = 117 \implies 4x \equiv 117 \pmod 7
將 117117 對 77 取模:117=7×16+5≡5(mod7)117 = 7 \times 16 + 5 \equiv 5 \pmod 7。
同餘式可寫為:
4x≡5≡12(mod7)4x \equiv 5 \equiv 12 \pmod 7
兩邊同除以 44(因為 gcd⁡(4,7)=1\gcd(4, 7) = 1):
x≡3(mod7)x \equiv 3 \pmod 7
取最小正整數特解 x0=3x_0 = 3,代回原方程式求出對應的 y0y_0:
4(3)+7y0=117  ⟹  12+7y0=117  ⟹  7y0=105  ⟹  y0=154(3) + 7y_0 = 117 \implies 12 + 7y_0 = 117 \implies 7y_0 = 105 \implies y_0 = 15
得到特解為 (x0,y0)=(3,15)(x_0, y_0) = (3, 15)。

步驟三:建立通解公式

將特解與係數帶入二元一次方程式的通解結構:
x=3+7kx = 3 + 7k
y=15−4k(k∈Z)y = 15 - 4k \quad (k \in \mathbb{Z})

步驟四:求解參數 kk 的正整數範圍

根據正整數解條件(x≥1x \ge 1 且 y≥1y \ge 1):

  1. 由 x≥1x \ge 1:
    3+7k≥1  ⟹  7k≥−2  ⟹  k≥−273 + 7k \ge 1 \implies 7k \ge -2 \implies k \ge -\frac{2}{7}
    因為 k∈Zk \in \mathbb{Z},故 k≥0k \ge 0。
  2. 由 y≥1y \ge 1:
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 2 題

How many subsets of {3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13} contain 3, 9, and 13?
(a) 1024
(b) 256
(c) 512
(d) 762

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查組合數學中的集合子集個數與乘法原理(Product Rule)。

  1. 子集總數定理:若有限集合 AA 包含 mm 個元素,則 AA 的子集總數為 2m2^m。這是因為對於集合中的每一個元素,在構成子集時都恰有「包含」與「不包含」 22 種選擇。
  2. 受限子集計數:當指定某 kk 個元素「必須包含」在子集中時,這 kk 個元素的選取狀態已被完全固定(各有 11 種選擇)。因此,滿足條件的子集數量,完全取決於其餘未被限制的 (m−k)(m - k) 個元素,數量即為 2m−k2^{m - k}。

解題方法

步驟一:計算全集元素個數

給定集合為 S={3,4,5,6,7,8,9,10,11,12,13}S = \{3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13\}。
計算連續整數集合的元素總數 n(S)n(S):
n(S)=13−3+1=11n(S) = 13 - 3 + 1 = 11

步驟二:分析約束條件與可自由選擇的元素

題目規定子集必須包含 3,9,133, 9, 13 這 33 個特定元素。
將這 33 個固定元素自原集合中扣除,剩餘可自由選擇「選入或不選入」子集的元素集合為:
S′=S∖{3,9,13}={4,5,6,7,8,10,11,12}S' = S \setminus \{3, 9, 13\} = \{4, 5, 6, 7, 8, 10, 11, 12\}
剩餘自由元素個數為:
n(S′)=11−3=8n(S') = 11 - 3 = 8

步驟三:運用乘法原理推導結果

對於 S′S' 中的這 88 個元素,每一個元素皆有 22 種可能性(選或不選),根據乘法原理,包含 3,9,133, 9, 13 的子集總數為:
28=2562^8 = 256


選項分析

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 3 題

Suppose we have two functions ff and gg, with f(1)=3f(1) = 3, f(2)=1f(2) = 1, f(3)=4f(3) = 4, f(4)=6f(4) = 6,
g(1)=5g(1) = 5, g(2)=3g(2) = 3, g(3)=4g(3) = 4, g(4)=1g(4) = 1, g(5)=3g(5) = 3, and g(6)=2g(6) = 2. Which is the correct
mapping of the composite function g∘fg \circ f?
(a) g∘f(1)=5g \circ f(1) = 5
(b) g∘f(2)=3g \circ f(2) = 3
(c) g∘f(3)=1g \circ f(3) = 1
(d) g∘f(4)=6g \circ f(4) = 6

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查**合成函數(Composite Function)**的基本定義與映射運算。

設 A,B,CA, B, C 為集合,若有兩個函數 f:A→Bf: A \to B 與 g:B→Cg: B \to C,則其合成函數記做 g∘f:A→Cg \circ f: A \to C,定義為:
(g∘f)(x)=g(f(x)),∀x∈A(g \circ f)(x) = g(f(x)), \quad \forall x \in A

在此運算中,作用順序是由右至左:輸入值 xx 先經過函數 ff 映射得到中間值 f(x)f(x),再將該中間值作為函數 gg 的輸入,經由 gg 映射出最終結果 g(f(x))g(f(x))。


解題方法

已知函數 ff 的定義域為 {1,2,3,4}\{1, 2, 3, 4\},欲求合成函數 g∘fg \circ f 的所有映射值,依定義分別帶入各元素進行兩階段映射計算:

  1. 計算 (g∘f)(1)(g \circ f)(1):
    代入 x=1x = 1,先求 f(1)=3f(1) = 3,再求 g(3)=4g(3) = 4。
    (g∘f)(1)=g(f(1))=g(3)=4(g \circ f)(1) = g(f(1)) = g(3) = 4

  2. 計算 (g∘f)(2)(g \circ f)(2):
    代入 x=2x = 2,先求 f(2)=1f(2) = 1,再求 g(1)=5g(1) = 5。
    (g∘f)(2)=g(f(2))=g(1)=5(g \circ f)(2) = g(f(2)) = g(1) = 5

  3. 計算 (g∘f)(3)(g \circ f)(3):
    代入 x=3x = 3,先求 f(3)=4f(3) = 4,再求 g(4)=1g(4) = 1。
    (g∘f)(3)=g(f(3))=g(4)=1(g \circ f)(3) = g(f(3)) = g(4) = 1

  4. 計算 (g∘f)(4)(g \circ f)(4):
    代入 x=4x = 4,先求 f(4)=6f(4) = 6,再求 g(6)=2g(6) = 2。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 4 題

Let LOVENSYSU be a string of 9 characters. How many different permutations of these
characters such that the two S's are not adjacent?
(a) 141120
(b) 362880
(c) 181440
(d) 40320

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題屬於離散數學中組合計數(Combinatorics)的**不全相異物排列(Multiset Permutations)與受限制排列(Restricted Permutations)**問題。

主要運用的定義與原理如下:

  1. 不全相異物排列公式(Multiset Permutation Formula):
    若有 nn 個元素,其中包含 kk 種重複元素,個數分別為 n1,n2,…,nkn_1, n_2, \dots, n_k,且 ∑i=1kni=n\sum_{i=1}^k n_i = n,則其所有相異排列數為:
    n!n1! n2!⋯nk!\frac{n!}{n_1! \, n_2! \cdots n_k!}

  2. 不相鄰排列的計數策略:
    處理「指定元素互不相鄰」問題,主要有兩種切入角度:

    • 插空法(Insertion Method):先將沒有限制的元素排好,再將受限元素插入相鄰元素間形成的空隙中。
    • 反面扣除法(Complementary Counting):利用排容原理,用「全部任意排列數」減去「受限元素相鄰的排列數」。

解題方法

步驟一:分析字串的字元組成
字串 LOVENSYSU 共有 9 個字元,統計各字母出現頻率:

  • 字母 L, O, V, E, N, Y, U 各出現 1 次(共 7 個相異字元)。
  • 字母 S 出現 2 次(重複字元)。

步驟二:選擇解法推導與計算

方法一:插空法(建議解法)

  1. 排列 7 個非 S 的相異字元:
    將 L, O, V, E, N, Y, U 進行全排列,方法數為:
    7!=50407! = 5040

  2. 插入 2 個相同的 S:
    7 個字元排定後,包含前後兩端共會產生 8 個可供插入的空隙:
    _ C1 _ C2 _ C3 _ C4 _ C5 _ C6 _ C7 _\text{\_ C}_1\text{ \_ C}_2\text{ \_ C}_3\text{ \_ C}_4\text{ \_ C}_5\text{ \_ C}_6\text{ \_ C}_7\text{ \_}
    由於 2 個 S 為相同字元,只需從這 8 個空隙中選出 2 個空隙各放入 1 個 S 即可,方法數為:
    (82)=8×72×1=28\binom{8}{2} = \frac{8 \times 7}{2 \times 1} = 28

  3. 計算總排列數:
    由乘法原理,兩 S 不相鄰的排列總數為:
    排列數=7!×(82)=5040×28=141120\text{排列數} = 7! \times \binom{8}{2} = 5040 \times 28 = 141120

方法二:反面扣除法

  1. 計算 9 個字元的所有任意排列數(全集):
    不考慮任何限制,9 個字元中包含 2 個相同的 S,排列數為:
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 5 題

Let A, B, and C are three sets. Which is incorrect about the difference set?
(a) (A−B)−C=A−(B∪C)(A-B)-C = A-(B \cup C)
(b) (A−B)−C=(A−C)−B(A-B)-C = (A-C)-B
(c) (A−B)−C=A−(B∩C)(A-B)-C = A-(B \cap C)
(d) (A−B)−C=(A−C)−(B−C)(A-B)-C = (A-C)-(B-C)

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考驗集合論中**差集(Difference Set / Relative Complement)**的化簡技巧,以及差集與交集、聯集、補集之間的代數等式與運算性質。解題所需的基礎定理與定義如下:

  1. 差集之補集定義:
    A−B=A∩BcA - B = A \cap B^c
  2. 笛摩根定律(De Morgan's Laws):
    (B∪C)c=Bc∩Cc(B \cup C)^c = B^c \cap C^c
    (B∩C)c=Bc∪Cc(B \cap C)^c = B^c \cup C^c
  3. 集合交集的結合律與交換律:
    (A∩Bc)∩Cc=A∩(Bc∩Cc)=(A∩Cc)∩Bc(A \cap B^c) \cap C^c = A \cap (B^c \cap C^c) = (A \cap C^c) \cap B^c
  4. 集合交集對聯集的分配律:
    X∩(Y∪Z)=(X∩Y)∪(X∩Z)X \cap (Y \cup Z) = (X \cap Y) \cup (X \cap Z)

解題方法

驗證集合等式主要採用兩種策略:

  1. 集合代數法(Set Algebra):將所有差集符號「−-」透過定義轉換為交集「∩\cap」與補集「c^c」,再運用集合代數律(結合律、分配律、笛摩根定律等)進行邏輯化簡與推導。
  2. 反例法(Counterexample Method):若要否定一個集合等式,只需找出一個具體的反例集合,證明左式(LHS)與右式(RHS)所包含的元素不相等即可。

本題將對各選項進行代數推導與化簡,找出不成立的選項。


選項分析

  • 選項 (a) (A−B)−C=A−(B∪C)(A-B)-C = A-(B \cup C):正確(不選)

    • 左式代數推導:
      (A−B)−C=(A∩Bc)∩Cc(A-B)-C = (A \cap B^c) \cap C^c
    • 根據交集結合律與笛摩根定律:
      (A∩Bc)∩Cc=A∩(Bc∩Cc)=A∩(B∪C)c=A−(B∪C)(A \cap B^c) \cap C^c = A \cap (B^c \cap C^c) = A \cap (B \cup C)^c = A - (B \cup C)
    • 左右兩式恆等,此敘述正確。
  • 選項 (b) (A−B)−C=(A−C)−B(A-B)-C = (A-C)-B:正確(不選)

    • 左式代數推導:
      (A−B)−C=(A∩Bc)∩Cc(A-B)-C = (A \cap B^c) \cap C^c
    • 根據交集的結合律與交換律:
      (A∩Bc)∩Cc=(A∩Cc)∩Bc=(A−C)−B(A \cap B^c) \cap C^c = (A \cap C^c) \cap B^c = (A - C) - B
    • 左右兩式恆等,此敘述正確。
  • 選項 (c) (A−B)−C=A−(B∩C)(A-B)-C = A-(B \cap C):錯誤(應選此項)

    • 右式代數推導:
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 6 題

Suppose A is a set with 21 elements. How many subsets of A can be obtained such that each
subset has 11 or more elements?
(a) 131072
(b) 262144
(c) 524288
(d) 1048576

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查組合學(Combinatorics)中「二項式係數對稱性(Symmetric Property of Binomial Coefficients)」與「子集總數公式(Power Set Cardinality)」。

  1. 子集數量與二項式係數:
    設 AA 為包含 nn 個元素的有限集合,則大小為 kk 的子集數量為 (nk)\binom{n}{k}。
  2. 所有子集總數:
    根據二項式定理,集合 AA 的所有子集個數為:
    ∑k=0n(nk)=2n\sum_{k=0}^{n} \binom{n}{k} = 2^n
  3. 二項式係數對稱恆等式:
    對於任意 0≤k≤n0 \le k \le n,恆滿足:
    (nk)=(nn−k)\binom{n}{k} = \binom{n}{n-k}

解題方法

已知集合 AA 的元素個數 n=21n = 21。題目要求計算元素個數不少於 11 個(即 ∣S∣≥11|S| \ge 11)的子集數量,亦即求取下列和式:
Starget=∑k=1121(21k)S_{\text{target}} = \sum_{k=11}^{21} \binom{21}{k}

  1. 列出所有子集的求和關係:
    集合 AA 的所有子集總數可分成 22 個二項式係數相加:
    ∑k=021(21k)=(210)+(211)+⋯+(2110)+(2111)+⋯+(2121)=221\sum_{k=0}^{21} \binom{21}{k} = \binom{21}{0} + \binom{21}{1} + \dots + \binom{21}{10} + \binom{21}{11} + \dots + \binom{21}{21} = 2^{21}

  2. 利用對稱性分段:
    根據對稱公式 (21k)=(2121−k)\binom{21}{k} = \binom{21}{21-k},可得前半段 11 項與後半段 11 項兩兩相等:
    (210)=(2121)\binom{21}{0} = \binom{21}{21}
    (211)=(2120)\binom{21}{1} = \binom{21}{20}
    ⋮\vdots
    (2110)=(2111)\binom{21}{10} = \binom{21}{11}

    因此,前半段子集數與後半段子集數完全相同:
    ∑k=010(21k)=∑k=1121(21k)\sum_{k=0}^{10} \binom{21}{k} = \sum_{k=11}^{21} \binom{21}{k}

  3. 計算目標數值:
    將對稱關係代回子集總數式:
    2×∑k=1121(21k)=2212 \times \sum_{k=11}^{21} \binom{21}{k} = 2^{21}

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 7 題

Let f(x)=2x3−70x−9f(x) = 2x^3 - 70x - 9 and g(x)=3x2−10x−2g(x) = 3x^2 - 10x - 2. A composite function g∘f∘g(x)g \circ f \circ g(x) is
formed. What is the value of g∘f∘g(4)g \circ f \circ g(4)?
(a) -5
(b) -2
(c) 2
(d) 5

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題旨在考驗離散數學中**複合函數(Composite Function)**的定義與數值計算。

  1. 複合函數定義:設 ff 與 gg 為兩個函數,其複合函數記作 g∘fg \circ f,定義為:
    (g∘f)(x)=g(f(x))(g \circ f)(x) = g(f(x))
  2. 多重複合函數求值:對於三層複合函數 (g∘f∘g)(x)=g(f(g(x)))(g \circ f \circ g)(x) = g(f(g(x))),必須遵循「由內而外(即由右至左)」的代入順序:
    • 先計算最內層的值 u=g(x)u = g(x)。
    • 再將 uu 代入中間層計算 v=f(u)v = f(u)。
    • 最後將 vv 代入最外層計算 g(v)g(v)。

解題方法

題目要求計算 g∘f∘g(4)g \circ f \circ g(4) 的值,即求解 g(f(g(4)))g(f(g(4)))。我們按照「由右至左(由內而外)」的三個關鍵步驟逐步推導:

  1. 第一步:計算最內層 g(4)g(4)
    已知 g(x)=3x2−10x−2g(x) = 3x^2 - 10x - 2,將 x=4x = 4 代入:
    g(4)=3(4)2−10(4)−2=3(16)−40−2=48−40−2=6g(4) = 3(4)^2 - 10(4) - 2 = 3(16) - 40 - 2 = 48 - 40 - 2 = 6

  2. 第二步:計算中間層 f(g(4))=f(6)f(g(4)) = f(6)
    已知 f(x)=2x3−70x−9f(x) = 2x^3 - 70x - 9,將 x=6x = 6 代入:
    f(6)=2(6)3−70(6)−9=2(216)−420−9=432−420−9=3f(6) = 2(6)^3 - 70(6) - 9 = 2(216) - 420 - 9 = 432 - 420 - 9 = 3

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 8 題

In how many ways can the letters in ANSYSUAA be linearly arranged such that Y and U
are not adjacent?
(a) 1260
(b) 2520
(c) 5040
(d) 1400

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

  1. 不相選/不相鄰排列(Non-adjacent Permutation):處理指定元素「不得相鄰」的直線排列問題,常見解法有:
    • 扣除法(補集法):全域任意排列數 −- 指定元素相鄰的排列數。
    • 插空法(間隙法):先將無限制的元素排好,再將不得相鄰的元素插入其形成的空隙中。
  2. 相同物重複排列(Multiset Permutation):設有 nn 個物件,其中有 n1n_1 個相同物類別 1、n2n_2 個相同物類別 2、…、nkn_k 個相同物類別 kk(滿足 ∑i=1kni=n\sum_{i=1}^k n_i = n),其直線排列的相異排法總數為:
    n!n1! n2! ⋯ nk!\frac{n!}{n_1! \, n_2! \, \cdots \, n_k!}

解題方法

首先對字串 ANSYSUAA 進行字元數量盤點:

  • 字母 A:3 個
  • 字母 N:1 個
  • 字母 S:2 個
  • 字母 Y:1 個
  • 字母 U:1 個

總字母數 n=3+1+2+1+1=8n = 3 + 1 + 2 + 1 + 1 = 8。題目要求 Y 與 U 不得相鄰。以下提供兩種標準解法導出解答:

方法一:扣除法(反面扣除法)

  1. 計算全域任意排列數:
    將 8 個字母(含 3 個 A、2 個 S、1 個 N、1 個 Y、1 個 U)任意直線排列:
    Total=8!3!×2!×1!×1!×1!=403206×2=3360\text{Total} = \frac{8!}{3! \times 2! \times 1! \times 1! \times 1!} = \frac{40320}{6 \times 2} = 3360

  2. 計算 Y 與 U 相鄰的排列數:
    將 Y 與 U 綑綁視為一個複合元素 (YU)\text{(YU)}。此時相當於排列以下 7 個元素:(YU),A,A,A,N,S,S\text{(YU)}, \text{A}, \text{A}, \text{A}, \text{N}, \text{S}, \text{S}。

    • 7 個元素的相異物與相同物直線排列數為:
      7!3!×2!=504012=420\frac{7!}{3! \times 2!} = \frac{5040}{12} = 420
    • 綑綁內部 Y 與 U 可互換順序(YU\text{YU} 或 UY\text{UY}),有 2!=22! = 2 種排法。
    • 故相鄰排列數為:
      Adjacent=420×2!=840\text{Adjacent} = 420 \times 2! = 840
  3. 計算 Y 與 U 不相鄰的排列數:
    Valid=Total−Adjacent=3360−840=2520\text{Valid} = \text{Total} - \text{Adjacent} = 3360 - 840 = 2520


方法二:插空法(間隙法)

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 9 題

Let p, q, and r be primitive statements for which (p∧q)→r(p \wedge q) \rightarrow r is false. Which of the
following is false?
(a) p∧q∧rp \wedge q \wedge r is false
(b) ¬p∨q∨r\neg p \vee q \vee r is true
(c) rr is false
(d) ¬p∧q∨r\neg p \wedge q \vee r is true

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查命題邏輯(Propositional Logic)中**條件句(Conditional Statement)**的真值特性與基本邏輯運算子的運算規則:

  1. 條件句的真值特性:
    對於條件句 A→BA \rightarrow B,當且僅當前項 AA 為真(True, T\text{T})且後項 BB 為假(False, F\text{F})時,其真值才為假(F\text{F});其餘情況(T→T\text{T}\rightarrow\text{T}、F→T\text{F}\rightarrow\text{T}、F→F\text{F}\rightarrow\text{F})皆為真(T\text{T})。
  2. 基本邏輯運算子定義:
    • 取與(Conjunction, ∧\wedge):僅在參與運算的命題皆為 T\text{T} 時,結果才為 T\text{T}。
    • 取或(Disjunction, ∨\vee):只要參與運算的命題中有任一者為 T\text{T},結果即為 T\text{T}。
    • 否定(Negation, ¬\neg):將命題真值反轉(T↦F\text{T} \mapsto \text{F},F↦T\text{F} \mapsto \text{T})。
  3. 邏輯運算優先順序(Precedence):
    在沒有括號的情況下,優先順序為:否定 ¬\neg >> 取與 ∧\wedge >> 取或 ∨\vee >> 條件句 →\rightarrow。

解題方法

步驟一:推導各基本命題的唯一真值
題目給定複合命題 (p∧q)→r(p \wedge q) \rightarrow r 為假(F\text{F})。
根據條件句假值的定義:

  • 前項 (p∧q)(p \wedge q) 必須為真(T\text{T})
  • 後項 rr 必須為假(F\text{F})

由 p∧q≡Tp \wedge q \equiv \text{T},根據「取與」的定義,可推出:
p≡T,q≡Tp \equiv \text{T}, \quad q \equiv \text{T}

結合後項可完整獲得三基本命題的真值:
p=T,q=T,r=Fp = \text{T}, \quad q = \text{T}, \quad r = \text{F}

步驟二:代入各選項進行邏輯檢驗
將求得的真值組合 (p,q,r)=(T,T,F)(p, q, r) = (\text{T}, \text{T}, \text{F}) 分別代入各選項的敘述中,判斷各敘述本身的真假(True 或 False)。


選項分析

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 10 題

Let X={1,2,3,4}X = \{1,2,3,4\} and Y={a,b}Y = \{a,b\}. How many onto functions can be defined from XX to
YY?
(a) 8
(b) 11
(c) 14
(d) 17

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

  1. 映滿函數(Onto / Surjective Function)的定義:
    設 f:X→Yf: X \to Y 為一函數,若對於對應域(Codomain)YY 中的每一個元素 y∈Yy \in Y,都至少存在一個定義域(Domain)XX 中的元素 x∈Xx \in X 使得 f(x)=yf(x) = y,則稱 ff 為映滿函數(值域等於對應域,即 f(X)=Yf(X) = Y)。

  2. 函數總數公式:
    設 ∣X∣=m|X| = m 且 ∣Y∣=n|Y| = n,從 XX 到 YY 的所有可能函數總數為 nmn^m。

  3. 映滿函數數量的計算公式:

    • 方法一(排容原理 / 扣除法):
      當對應域大小 n=2n = 2 時,非映滿函數僅包含「所有元素皆映射至第一個元素」與「所有元素皆映射至第二個元素」這 2 個常數函數(Constant Functions)。因此,映滿函數數量為:
      nm−2=2m−2n^m - 2 = 2^m - 2
    • 方法二(第二類 Stirling 數):
      從大小為 mm 的集合映射到大小為 nn 的集合,其映滿函數總數可表示為:
      n!⋅S(m,n)n! \cdot S(m, n)
      其中 S(m,n)S(m, n) 為將 mm 個相異物分成 nn 個相同非空堆的第二類 Stirling 數(Stirling Numbers of the Second Kind)。

解題方法

本題給定定義域 X={1,2,3,4}X = \{1, 2, 3, 4\}(∣X∣=m=4|X| = m = 4)與對應域 Y={a,b}Y = \{a, b\}(∣Y∣=n=2|Y| = n = 2)。

步驟一:計算從 XX 到 YY 的所有函數總數

每一個 XX 中的元素都有 2 種選擇(可以映射至 aa 或 bb),故總函數個數為:

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 11 題

Let f(n)=∑i=5n(2i+9)f(n) = \sum_{i=5}^{n} (2i + 9) for positive integer nn and n≥5n \ge 5. Which of the following is
false?
(a) The constant term of f(n)f(n) is negative
(b) f(n)f(n) is a polynomial of order 2
(c) f(40)=2044f(40) = 2044
(d) f(55)=3519f(55) = 3519

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題主要考查離散數學中**有限級數和(Finite Summation)與等差數列(Arithmetic Progression)**的求和公式,以及多項式次數與常數項的定義。

  1. 等差級數求和公式:若一數列為等差數列,其首項為 a1a_1、末項為 aNa_N、項數為 NN,則級數和為:
    SN=N×(a1+aN)2S_N = \frac{N \times (a_1 + a_N)}{2}
  2. 級數拆解性質:
    ∑i=knai=∑i=1nai−∑i=1k−1ai\sum_{i=k}^{n} a_i = \sum_{i=1}^{n} a_i - \sum_{i=1}^{k-1} a_i
    其中自然數求和公式為 ∑i=1ni=n(n+1)2\sum_{i=1}^{n} i = \frac{n(n+1)}{2}。
  3. 多項式的階(Order/Degree)與常數項:多項式 f(n)=aknk+⋯+a1n+a0f(n) = a_k n^k + \dots + a_1 n + a_0 中,最高次方項 nkn^k 的指數 kk 即為多項式的階(Order/Degree);不含變數項的純數值 a0a_0 即為常數項。

解題方法

目標為求出 f(n)=∑i=5n(2i+9)f(n) = \sum_{i=5}^{n} (2i + 9) 的封閉形式(Closed-form expression),並代入特定值進行計算與選項驗證。

方法一:等差級數求和法

觀察被加項 ai=2i+9a_i = 2i + 9 為一首項與公差明確的等差數列:

  • 首項(i=5i=5):a5=2(5)+9=19a_5 = 2(5) + 9 = 19
  • 末項(i=ni=n):an=2n+9a_n = 2n + 9
  • 項數 NN:從 55 到 nn 共有 N=n−5+1=n−4N = n - 5 + 1 = n - 4 項

代入等差級數求和公式:
f(n)=(n−4)⋅[19+(2n+9)]2f(n) = \frac{(n - 4) \cdot [19 + (2n + 9)]}{2}
f(n)=(n−4)⋅(2n+28)2f(n) = \frac{(n - 4) \cdot (2n + 28)}{2}
f(n)=(n−4)(n+14)f(n) = (n - 4)(n + 14)
f(n)=n2+10n−56f(n) = n^2 + 10n - 56

方法二:標準級數拆解法

利用和的拆解性質:
f(n)=∑i=5n(2i+9)=∑i=1n(2i+9)−∑i=14(2i+9)f(n) = \sum_{i=5}^{n} (2i + 9) = \sum_{i=1}^{n} (2i + 9) - \sum_{i=1}^{4} (2i + 9)

計算前 nn 項和:
∑i=1n(2i+9)=2∑i=1ni+9n=2⋅n(n+1)2+9n=n2+n+9n=n2+10n\sum_{i=1}^{n} (2i + 9) = 2 \sum_{i=1}^{n} i + 9n = 2 \cdot \frac{n(n+1)}{2} + 9n = n^2 + n + 9n = n^2 + 10n

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 12 題

Which value is closest to the solution to log⁡10(3x2)−log⁡106=1\log_{10}(3x^2) - \log_{10} 6 = 1?
(a) -5.237
(b) -4.482
(c) 4.983
(d) 6.329

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考驗「對數(Logarithm)的基本運算性質」與「對數方程式的求解及真數條件驗證」。
主要使用的定義與定理如下:

  1. 對數相減律(商律):
    log⁡bA−log⁡bB=log⁡b(AB)(A>0,B>0,b>0,b≠1)\log_b A - \log_b B = \log_b \left(\frac{A}{B}\right) \quad (A > 0, B > 0, b > 0, b \neq 1)
  2. 對數與指數的互換定義:
    log⁡by=x  ⟺  y=bx\log_b y = x \iff y = b^x
  3. 對數的真數條件:
    對於 log⁡bf(x)\log_b f(x),變數代入後必須滿足真數 f(x)>0f(x) > 0。

解題方法

步驟一:運用對數律合併左式
根據對數相減律,將左式的兩項合併:
log⁡10(3x2)−log⁡106=1\log_{10}(3x^2) - \log_{10} 6 = 1
  ⟺  log⁡10(3x26)=1\iff \log_{10}\left(\frac{3x^2}{6}\right) = 1

簡化真數的分式:
log⁡10(x22)=1\log_{10}\left(\frac{x^2}{2}\right) = 1

步驟二:轉換為指數形式求解 xx
依據對數定義,底數為 10,可得:
x22=101=10\frac{x^2}{2} = 10^1 = 10
兩邊同乘以 2:
x2=20x^2 = 20
開平方解得:
x=20或x=−20x = \sqrt{20} \quad \text{或} \quad x = -\sqrt{20}

步驟三:驗證真數條件
原式對數項的真數為 3x23x^2。
不論 x=20x = \sqrt{20} 或 x=−20x = -\sqrt{20},其平方均為 x2=20x^2 = 20,代入得 3x2=60>03x^2 = 60 > 0,皆符合真數必須大於 0 的定義。因此正負兩解皆為有效解。

步驟四:求數值近似值並與選項比對
評估 20\sqrt{20} 的數值:
因 42=164^2 = 16 且 52=255^2 = 25,可知 4<20<54 < \sqrt{20} < 5。
精確計算得 20≈4.47214\sqrt{20} \approx 4.47214。

因此方程式的兩個解分別為:
x1≈4.472,x2≈−4.472x_1 \approx 4.472, \quad x_2 \approx -4.472

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 13 題

What is the sum of all the coefficients in the expansion of (3x−5y)11(3x - 5y)^{11}?
(a) 1256
(b) -512
(c) -2048
(d) -1024

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查**二項式定理(Binomial Theorem)與多項式係數和(Sum of Coefficients)**的求法。

對於多項式 P(x,y)=(ax+by)nP(x, y) = (ax + by)^n,其二項式展開式為:
(ax+by)n=∑k=0n(nk)(ax)n−k(by)k(ax + by)^n = \sum_{k=0}^{n} \binom{n}{k} (ax)^{n-k} (by)^k

展开式中所有項的係數總和,即為將所有變數皆代入 11 時的多項式函數值 P(1,1)P(1, 1)。


解題方法

  1. 建立多項式函數:
    設 P(x,y)=(3x−5y)11P(x, y) = (3x - 5y)^{11}。

  2. 代入變數求係數和:
    要求展開式中所有係數的總和,將 x=1x = 1 與 y=1y = 1 代入函數:
    P(1,1)=(3⋅1−5⋅1)11=(3−5)11P(1, 1) = (3 \cdot 1 - 5 \cdot 1)^{11} = (3 - 5)^{11}

  3. 計算指數數值:
    (3−5)11=(−2)11(3 - 5)^{11} = (-2)^{11}
    由於底數為負數(−2-2),且次方為奇數(1111),運算結果必然保持負號:
    (−2)11=−2048(-2)^{11} = -2048

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 14 題

Let H(x)H(x) be a function of xx:
H(x)=(x2−12x)9H(x) = \left(x^2 - \frac{1}{2x}\right)^{9}
Which of the following are true for the expanded form of H(x)H(x)?
(a) The constant term is 218\frac{21}{8}
(b) There are 9 different terms
(c) The coefficient of the term with x−3x^{-3} is negative
(d) The coefficient of the term with x3x^3 is −638-\frac{63}{8}

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查**二項式定理(Binomial Theorem)**及其展開式一般項的應用。
對任意實數 a,ba, b 與正整數 nn,二項式定理展開式如下:
(a+b)n=∑k=0n(nk)an−kbk(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k
其中一般項(第 k+1k+1 項)可表示為:
Tk+1=(nk)an−kbk(k=0,1,2,…,n)T_{k+1} = \binom{n}{k} a^{n-k} b^k \quad (k = 0, 1, 2, \dots, n)
解題關鍵在於將給定函數整理成一般項形式,並透過同類項次數的合算,求出特定次項 xmx^m 所對應的 kk 值與係數。


解題方法

已知函數 H(x)=(x2−12x)9H(x) = \left(x^2 - \frac{1}{2x}\right)^9,可視為二項式 (a+b)n(a+b)^n 展開,其中:
a=x2,b=−12x=−12x−1,n=9a = x^2, \quad b = -\frac{1}{2x} = -\frac{1}{2} x^{-1}, \quad n = 9

Step 1:寫出展開式一般項
Tk+1=(9k)(x2)9−k(−12x)k(k=0,1,2,…,9)T_{k+1} = \binom{9}{k} \left(x^2\right)^{9-k} \left(-\frac{1}{2x}\right)^k \quad (k = 0, 1, 2, \dots, 9)

Step 2:分離變數與係數
將 xx 的次方與常數係數分開整理:
Tk+1=(9k)⋅x18−2k⋅(−12)k⋅x−kT_{k+1} = \binom{9}{k} \cdot x^{18-2k} \cdot \left(-\frac{1}{2}\right)^k \cdot x^{-k}
Tk+1=(9k)(−12)kx18−3kT_{k+1} = \binom{9}{k} \left(-\frac{1}{2}\right)^k x^{18-3k}

其中 xx 的次方數為 18−3k18 - 3k,變數 k∈{0,1,2,…,9}k \in \{0, 1, 2, \dots, 9\}。


選項分析

  • (a) 錯誤
    常數項代表 xx 的次方數為 00,令 18−3k=0  ⟹  k=618 - 3k = 0 \implies k = 6。
    將 k=6k = 6 代入一般項求係數:
    (96)(−12)6=(93)⋅164=9×8×73×2×1⋅164=84⋅164=2116\binom{9}{6} \left(-\frac{1}{2}\right)^6 = \binom{9}{3} \cdot \frac{1}{64} = \frac{9 \times 8 \times 7}{3 \times 2 \times 1} \cdot \frac{1}{64} = 84 \cdot \frac{1}{64} = \frac{21}{16}
    選項聲稱常數項為 218\frac{21}{8},故為錯誤。
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 15 題

Suppose we want to generate randomly 8 bits, with 0 or 1 in each bit. Let E1E_1 be the event
of bit 0 being 1, E2E_2 be the event of bit 7 being 0, and E3E_3 be the event of both bits 3 and
4 being 1. Which of the following are true?
(a) The probability P(E1∩E2)=14P(E_1 \cap E_2) = \frac{1}{4}
(b) The probability P(E1∣E2)=12P(E_1|E_2) = \frac{1}{2}
(c) The probability P(E1∩E2∩E3)=12P(E_1 \cap E_2 \cap E_3) = \frac{1}{2}
(d) The probability P(E2∣E1∩E3)=12P(E_2|E_1 \cap E_3) = \frac{1}{2}

登入後即可作答並保存紀錄。

這一題的完整詳解

題目解析與觀念說明

8 個位元獨立且均勻地隨機生成 0 或 1,每個位元為 1 或 0 的機率皆為 12\frac{1}{2}。

事件定義如下:

  • E1E_1:第 0 位元為 1   ⟹  P(E1)=12\implies P(E_1) = \frac{1}{2}
  • E2E_2:第 7 位元為 0   ⟹  P(E2)=12\implies P(E_2) = \frac{1}{2}
  • E3E_3:第 3 與第 4 位元皆為 1   ⟹  P(E3)=12×12=14\implies P(E_3) = \frac{1}{2} \times \frac{1}{2} = \frac{1}{4}

由於各個位元相互獨立,事件 E1,E2,E3E_1, E_2, E_3 亦彼此獨立。


選項推導與檢驗

  • (a) 計算 P(E1∩E2)P(E_1 \cap E_2)
    由獨立性:
    P(E1∩E2)=P(E1)×P(E2)=12×12=14P(E_1 \cap E_2) = P(E_1) \times P(E_2) = \frac{1}{2} \times \frac{1}{2} = \frac{1}{4}
    故 (a) 正確。
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 16 題

Assume that there is a recurrent relation An=2An−1+3A_n = 2A_{n-1} + 3, with A0=1A_0 = 1. Which of the
following are true?
(a) A20=732694A_{20} = 732694
(b) A12=16381A_{12} = 16381
(c) A9=7381A_9 = 7381
(d) A15A_{15} is a multiple of 3

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念
本題主要考驗 一階非齊項線性遞迴關係式(First-order non-homogeneous linear recurrence relation) 的求法,以及 同餘(Modular arithmetic) 的整數性質判定。
主要涉及的知識點與公式如下:

  1. 平移常數法(待定係數法):針對一階非齊項遞迴式 An=cAn−1+kA_n = c A_{n-1} + k(其中 c≠1c \neq 1),可設其特解為常數 d=k1−cd = \frac{k}{1-c},並將遞迴式改寫為等比關係 An−d=c(An−1−d)A_n - d = c(A_{n-1} - d)。
  2. 二進位次方基礎數值:考場常考 2n2^n 的數值(如 210=10242^{10} = 1024, 211=20482^{11} = 2048, 214=163842^{14} = 16384, 222=41943042^{22} = 4194304)。
  3. 模運算(同餘):判定 AnA_n 是否為 3 的倍數,即檢驗 An≡0(mod3)A_n \equiv 0 \pmod 3 是否成立。

解題方法
已知遞迴關係式與初始條件為:
An=2An−1+3,A0=1A_n = 2A_{n-1} + 3, \quad A_0 = 1

步驟一:求遞迴關係式的一般項 AnA_n
將原式兩邊同時加上 33:
An+3=2An−1+6A_n + 3 = 2A_{n-1} + 6
An+3=2(An−1+3)A_n + 3 = 2(A_{n-1} + 3)

定義新數列 Bn=An+3B_n = A_n + 3,則 {Bn}\{B_n\} 為公比等於 22 的等比數列:
Bn=2Bn−1=B0⋅2nB_n = 2 B_{n-1} = B_0 \cdot 2^n

代入初始條件 A0=1A_0 = 1 計算 B0B_0:
B0=A0+3=1+3=4B_0 = A_0 + 3 = 1 + 3 = 4

故 BnB_n 的一般項為:
Bn=4⋅2n=2n+2B_n = 4 \cdot 2^n = 2^{n+2}

還原得 AnA_n 的一般項公式為:
An=Bn−3=2n+2−3A_n = B_n - 3 = 2^{n+2} - 3


選項分析

  • (a) A20=732694A_{20} = 732694:錯誤
    將 n=20n = 20 代入一般項:
    A20=222−3=4,194,304−3=4,194,301A_{20} = 2^{22} - 3 = 4,194,304 - 3 = 4,194,301
    計算結果 4194301≠7326944194301 \neq 732694,故選項 (a) 錯誤。
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 17 題

Suppose the frequency of occurrence for C is 1, for O is 2, for U is 3, for N is 4, for T is
5, for E is 6, and for R is 7. We create a Huffman tree and find Huffman codes for them.
Which of the following are true?
(a) The code for T is 101
(b) The code for U is shorter than the code for T
(c) The shortest code is one bit long
(d) The longest code is 4 bits long

登入後即可作答並保存紀錄。

這一題的完整詳解

題目解析與霍夫曼樹(Huffman Tree)建構

  1. 初始節點與頻率(按頻率由小到大排序):
    C: 1,O: 2,U: 3,N: 4,T: 5,E: 6,R: 7\text{C: 1}, \text{O: 2}, \text{U: 3}, \text{N: 4}, \text{T: 5}, \text{E: 6}, \text{R: 7}

  2. 霍夫曼樹建構過程(每次合併頻率最小的兩個節點):

    • Step 1: 合併 C(1)\text{C}(1) 與 O(2)→(1+2=3)\text{O}(2) \rightarrow (1+2=3)
      • 現有節點:U(3),(3),N(4),T(5),E(6),R(7)\text{U}(3), (3), \text{N}(4), \text{T}(5), \text{E}(6), \text{R}(7)
    • Step 2: 合併 U(3)\text{U}(3) 與 (3)→(3+3=6)(3) \rightarrow (3+3=6)
      • 現有節點:N(4),T(5),E(6),(6),R(7)\text{N}(4), \text{T}(5), \text{E}(6), (6), \text{R}(7)
    • Step 3: 合併 N(4)\text{N}(4) 與 T(5)→(4+5=9)\text{T}(5) \rightarrow (4+5=9)
      • 現有節點:E(6),(6),R(7),(9)\text{E}(6), (6), \text{R}(7), (9)
    • Step 4: 合併 E(6)\text{E}(6) 與 (6)→(6+6=12)(6) \rightarrow (6+6=12)
      • 現有節點:R(7),(9),(12)\text{R}(7), (9), (12)
    • Step 5: 合併 R(7)\text{R}(7) 與 (9)→(7+9=16)(9) \rightarrow (7+9=16)
      • 現有節點:(12),(16)(12), (16)
    • Step 6: 合併 (12)(12) 與 (16)→(12+16=28)(16) \rightarrow (12+16=28)(完成根節點建構)
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 18 題

It is known that 12+22+⋯+n2=n(n+1)(2n+1)61^2 + 2^2 + \dots + n^2 = \frac{n(n+1)(2n+1)}{6}. Let H(n)=(12+32)+(22+32)+⋯+((n−1)2+32)+(n2+32)H(n) = (1^2 + 3^2) + (2^2 + 3^2) + \dots + ((n-1)^2 + 3^2) + (n^2 + 3^2). Which of the following are true about H(n)H(n)?
(a) The constant term is not 0
(b) The coefficient of the term with nn is 73
(c) The coefficient of the term with n2n^2 is 12\frac{1}{2}
(d) H(50)H(50) is greater than 50000

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查離散數學與基礎代數中的有限項級數求和(Summation of Finite Series)與多項式係數分析(Polynomial Coefficient Analysis)。

主要使用的求和公式如下:

  1. 連續自然數平方和公式:
    ∑k=1nk2=n(n+1)(2n+1)6\sum_{k=1}^n k^2 = \frac{n(n+1)(2n+1)}{6}
  2. 常數項求和公式:
    ∑k=1nc=c⋅n\sum_{k=1}^n c = c \cdot n

解題方法

Step 1:表示為 Sigma 求和形式與拆項

觀察給定的級數 H(n)H(n):
H(n)=(12+32)+(22+32)+⋯+(n2+32)H(n) = (1^2 + 3^2) + (2^2 + 3^2) + \dots + (n^2 + 3^2)

可將第 kk 項表示為 ak=k2+32=k2+9a_k = k^2 + 3^2 = k^2 + 9,因此求和式寫為:
H(n)=∑k=1n(k2+9)H(n) = \sum_{k=1}^n (k^2 + 9)

利用求和算符的線性性質拆開:
H(n)=∑k=1nk2+∑k=1n9H(n) = \sum_{k=1}^n k^2 + \sum_{k=1}^n 9

Step 2:套用求和公式並展開

代入已知公式:
H(n)=n(n+1)(2n+1)6+9nH(n) = \frac{n(n+1)(2n+1)}{6} + 9n

將分子展開:
n(n+1)(2n+1)=n(2n2+3n+1)=2n3+3n2+nn(n+1)(2n+1) = n(2n^2 + 3n + 1) = 2n^3 + 3n^2 + n

因此:
H(n)=2n3+3n2+n6+9nH(n) = \frac{2n^3 + 3n^2 + n}{6} + 9n

將分式拆解為各次方的多項式:
H(n)=26n3+36n2+16n+9n=13n3+12n2+556nH(n) = \frac{2}{6}n^3 + \frac{3}{6}n^2 + \frac{1}{6}n + 9n = \frac{1}{3}n^3 + \frac{1}{2}n^2 + \frac{55}{6}n

整理得 H(n)H(n) 的降冪多項式為:
H(n)=13n3+12n2+556n+0H(n) = \frac{1}{3}n^3 + \frac{1}{2}n^2 + \frac{55}{6}n + 0


選項分析

  • (a) 錯誤
    由展開式 H(n)=13n3+12n2+556nH(n) = \frac{1}{3}n^3 + \frac{1}{2}n^2 + \frac{55}{6}n 可知,H(n)H(n) 不包含獨立常數項,即常數
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 19 題

Let P, Q, and R be propositions. Which of the following are tautologies?
(a) P∨Q∨RP \vee Q \vee R
(b) (P→Q)≡(¬Q→¬P)(P \rightarrow Q) \equiv (\neg Q \rightarrow \neg P)
(c) (P∧(P→Q))→Q(P \wedge (P \rightarrow Q)) \rightarrow Q
(d) (P∧Q)∨(¬P)∨(¬Q)(P \wedge Q) \vee (\neg P) \vee (\neg Q)

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題旨在考驗數理邏輯中的**恆真句(Tautology)**判斷、**邏輯等值律(Logical Equivalences)**的應用,以及基本推論法則。

  1. 恆真句(Tautology)之定義:
    若一個複合命題(Compound Proposition)無論其所包含的命題變數(如 P,Q,RP, Q, R)取值為真(True, TT)或假(False, FF),整個命題的真假值結果永遠為「真」(TT),則稱該複合命題為恆真句。

  2. 關鍵邏輯等值律與公式:

    • 條件句等值律(Conditional Equivalence):P→Q≡¬P∨QP \rightarrow Q \equiv \neg P \vee Q
    • 逆反律(Contrapositive Law):P→Q≡¬Q→¬PP \rightarrow Q \equiv \neg Q \rightarrow \neg P
    • 德摩根定律(De Morgan's Laws):¬(P∧Q)≡¬P∨¬Q\neg(P \wedge Q) \equiv \neg P \vee \neg Q
    • 矛盾律與排中律(Law of Excluded Middle):A∧¬A≡FA \wedge \neg A \equiv F;A∨¬A≡TA \vee \neg A \equiv T
    • 同一律與支配律(Domination Laws):A∨F≡AA \vee F \equiv A;A∨T≡TA \vee T \equiv T

解題方法

判斷複合命題是否為恆真句主要有以下兩種切入方式:

  1. 反例賦值法(Counterexample Method):針對結構較簡單的命題,嘗試尋找一組真假值設定使整個命題為「假」(FF)。若能找到反例,該命題即非恆真句。
  2. 布林邏輯代數化簡法(Logical Equivalence Simplification):運用基本邏輯等值律對命題進行代數展開與化簡。若最終結果能化簡至常數 TT,則該命題必為恆真句。

選項分析

(a) P∨Q∨RP \vee Q \vee R

  • 判斷結果:錯誤(非恆真句)
  • 詳細說明:
    本命題全由析取運算子(∨\vee)連接。若設定 P=FP = F、Q=FQ = F 且 R=FR = F,則:
    F∨F∨F=FF \vee F \vee F = F
    存在至少一組真假值設定使其結果為假(FF),故本命題為**偶然句(Contingency)**而非恆真句。

(b) (P→Q)≡(¬Q→¬P)(P \rightarrow Q) \equiv (\neg Q \rightarrow \neg P)

  • 判斷結果:正確(為恆真句)
  • 詳細說明:
    符號 ≡\equiv(或雙條件句 ↔\leftrightarrow)表示左右兩側命題之邏輯等值關係。
    將右式 ¬Q→¬P\neg Q \rightarrow \neg P 利用條件句等值律化簡:
    ¬Q→¬P≡¬(¬Q)∨¬P≡Q∨¬P≡¬P∨Q\neg Q \rightarrow \neg P \equiv \neg(\neg Q) \vee \neg P \equiv Q \vee \neg P \equiv \neg P \vee Q
    而左式 P→QP \rightarrow Q 根據條件句等值律亦為:
    P→Q≡¬P∨QP \rightarrow Q \equiv \neg P \vee Q
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

其他考古題