下列何種機制，不具有在有限表達長度內可表現無限多動作（或推論）的潛力？
A以真值表為基礎的邏輯等意證明（logical equivalence proof based on truth table）正確答案
B遞迴函數呼叫（recursive function call）
Cwhile 迴圈（while loop）
D數學歸納法（mathematical induction）
答案與詳解
逐選項解析
A以真值表為基礎的邏輯等意證明（logical equivalence proof based on truth table）有限窮舉✓ 正確
真值表必須窮舉所有變數的真假組合，n 個變數就有 2^n 列，本質上是「有限窮舉」法，無法以有限長度表現無限多推論步驟，故為正解。
B遞迴函數呼叫（recursive function call）遞迴展開✕ 易錯陷阱
遞迴函數用有限程式碼可透過自我呼叫展開成無限多層運算（如階乘、費氏數列），正是「有限表達、無限展開」的典型代表。
Cwhile 迴圈（while loop）✕ 錯誤
D數學歸納法（mathematical induction）✕ 錯誤
立即註冊,看完整詳解
這題的完整詳解,註冊就能看 · 每天 2 題免費
- 完整逐選項解析
- 秒殺解題技巧與破題關鍵
- 關鍵知識表整理
- 陷阱與易錯提醒
- 同考點歷屆題庫連續刷題與錯題本
立即註冊觀看完整詳解 已有帳號?登入
