否定后件
在经典逻辑中，否定后件（拉丁语：modus tollens）有如下论证形式：
- 如果P，则Q。
- 非Q。
- 所以，非P。
它也可也被认为是否定结论，是一种有效的认证形式。
否定后件有时会与间接证明（假设命题的否定成立，证明这会导致矛盾）或者逆否命题证明（证明如果P则Q，通过证明如果非Q则非P的方法实现）相混淆。
网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
| 词汇 | Modus tollens |
| 分类 | 英语词汇 英语翻译词典 |
| 释义 |
Modus tollens
中文百科
否定后件在经典逻辑中，否定后件（拉丁语：modus tollens）有如下论证形式：
它也可也被认为是否定结论，是一种有效的认证形式。 否定后件有时会与间接证明（假设命题的否定成立，证明这会导致矛盾）或者逆否命题证明（证明如果P则Q，通过证明如果非Q则非P的方法实现）相混淆。
英语百科
Modus tollens 否定後件In propositional logic, modus tollens (or modus tollendo tollens and also denying the consequent) (Latin for "the way that denies by denying") is a valid argument form and a rule of inference. It is an application of the general truth that if a statement is true, then so is its contra-positive. |
| 随便看 |
|
依恋情感网英汉例句词典收录3870147条英语例句词条，基本涵盖了全部常用英语单词的释义及例句，是英语学习的有利工具。