數理邏輯中以 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
錯誤！當 p 為假時，p→q 依定義為「真」（空真 vacuously true），不是未定義。真值表中 F→T=T、F→F=T 都有明確定義。
考點：充分/必要條件考點：空真 vacuous truth考點：逆否命題等價考點：邏輯運算完備性
載入中…
