你即將離開本站

並前往https://ncatlab.org/nlab/show/contrapositive

contrapositive in nLab

In propositional logic, the contrapositive rule states that it is valid to derive ¬Q→¬P from P→Q (where ¬ is negation and → is ...

確定！ 回上一頁

查詢 「Contrapositive」的人也找了：

  1. contrapositive數學
    2.
  2. contrapositive邏輯
    3.
  3. contrapositive離散
    4.
  4. contrapositive中文
    5.
  5. Contraposition
    6.
  6. Contrapositive
    7.
  7. Proof by contrapositive
    8.
  8. Proof by contradiction
    9.