不過另一方. 面, 若A, B 為statement form 且A 為tautology, 那麼¬(A ⇒ B) 就和A ⇒ ¬B 為logically equivalent. 主要的原因是, A 既然全為對, 那麼A ⇒ B 的對錯完全會和 ...
確定！ 回上一頁
