數理邏輯中以 implication operator "→" 表現因果關係。考慮 p→q，下列何者錯誤？（!代表 not）
A當 $p \rightarrow q$ 為真，p 是 q 的充分條件（sufficient condition）
B當 p 為假，p→q 應為未定義（undefined）正確答案
C“p→q”與“(!q)→(!p)”為邏輯上的等價
D“→”的功能可以由 and, or, not 的運算元的組合取代
答案與詳解
為什麼答案是 B
錯誤！當 p 為假時，p→q 依定義為「真」（空真 vacuously true），不是未定義。真值表中 F→T=T、F→F=T 都有明確定義。
載入中…
