下列何種機制，不具有在有限表達長度內可表現無限多動作（或推論）的潛力？
A以真值表為基礎的邏輯等意證明（logical equivalence proof based on truth table）正確答案
B遞迴函數呼叫（recursive function call）
Cwhile 迴圈（while loop）
D數學歸納法（mathematical induction）
答案與詳解
為什麼答案是 A
真值表必須窮舉所有變數的真假組合，n 個變數就有 2^n 列，本質上是「有限窮舉」法，無法以有限長度表現無限多推論步驟，故為正解。
考點：有限窮舉考點：遞迴展開考點：迴圈迭代考點：歸納推論
載入中…
