16 數理邏輯中以 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 的運算元的組合取代