contingency : 不是tautology也不是contradiction的proposition. logically equivalent : 已知二個proposition p 及q,且p ←→ q 為tautology時稱之。記為p≡q ...
確定! 回上一頁