數理邏輯中以 implication operator “→” 表現因果關係。考慮 p→q，下列何者錯誤？（!代表 not）

(A) 當 p→q 為真，p 是 q 的充分條件（sufficient condition）
(B) 當 p 為假，p→q 應為未定義（undefined）
(C) “p→q” 與 “(!q)→(!p)” 為邏輯上的等價
(D) “→” 的功能可以由 and，or，not 的運算元的組合取代
答案：B

AI创作