# law of inference 蘊含規則
12 p99

[](https://hackmd.io/c49SEvnRSPuMz1-FFd5Slw)

前八個常用
## 網站支援

[詞性縮寫總整理](https://boroenglish.com/詞性縮寫總整理/)
[查察](https://tw.ichacha.net)
[Cambridge Dictionary 劍橋字典](https://dictionary.cambridge.org/zht/)
[quizlet](https://quizlet.com/latest)
[雙語詞彙學術名詞暨辭資訊網](https://terms.naer.edu.tw/)
[latex codecog](https://latex.codecogs.com)
[logic latex](https://www.geeksforgeeks.org/logic-notations-in-latex/)

| | abbreviation(縮寫)or origin(出處) | word | part of speech(詞性) | chinese | Notes(備註)造句 |
| --- | -------------------------------------------------- |:---------------------------:|:--------------------:|:------------------------------------:|:-------------------------------------------------:|
| 01. | Modus Ponens or Rule of detachment | MP. | - | 肯定前件律 |  |
| | | | | | |
| 02. | law of the Syllogism | (hypothetical) Syllogism HS | n. | 推論式、演繹法；三段論 |  |
| | | | | | |
| 03. | Modus Tollens | MT. | - | 否定後件律 |  |
| | | | | | |
| 04. | Rule of conjunction | conjunction Conj. | n. | 連言律 |  |
| | | | | | |
| 05. | Rule of disjunction syllogism | disjunction DS. | n. | 否定或 |  |
| | | | | | |
| 06. | Rule of contradiction | contradiction | n. | 矛盾律，矛盾 |  |
| | | | | | |
| 07. | Rule of contradiction Simplification | simp. | - | 化簡律 |  |
| | | | | | |
| 08. | Rule of Disjunction Amplification, Rule of addtion | add. | - | 或的放大，添加律 |  |
| | | | | | |
| 09. | Rule of Conditional proof | Conditional | adj.n. | adj.帶有條件的n.條件子句，條件句證明 |  |
| | | | | | |
| 10. | Rule for proof by Case | - | - | 舉例說明 |  |
| | | | | | |
| 11. | Rule of the constructive Dilemma | CD. | - | 正面描述兩難 |  |
| | | | | | |
| 12. | Rule of the Destructive Dilemma | - | - | 反面描述兩難 |  |
| | | | | | |
| 13. | corresponding argument | - | - | 相應的論點 | - |
| 14. | Rremise | - | - | 前提 | - |
| 15. | Existentail quantifier | - | - | 存在 |  |
| 16. | Universal quantifier | - | - | 對於所有 |  |
| 17. | inference | - | - | 推論 | - |
| 18. | - | - | - | - | - |
| 19. | - | - | - | - | - |
| 20. | - | - | - | - | - |
| - | - | - | - | - | - |