否定後件
Clash Royale CLAN TAG#URR8PPP
在经典逻辑中，否定后件（拉丁語：modus tollens）有如下论证形式：
- 如果P，则Q。
- 非Q。
- 所以，非P。
它也可也被认为是否定结论，是一种有效的认证形式。
否定后件有时会与间接证明（假设命题的否定成立，证明这会导致矛盾）或者逆否命题证明（证明如果P则Q，通过证明如果非Q则非P的方法实现）相混淆。
用户:Ww71338ww/绘画
Clash Royale CLAN TAG #URR8PPP 你好～！欢迎来到萌娘百科！ 如果您是第一次来到这里，点这里加入萌娘百科! 欢迎具有翻译能力的同学～有意者请点→Category:需要翻译的条目← 如果您在萌娘百科上发现某些内容 错误/空缺 ，请 勇于 修正/添加！ 编辑萌娘百科其实很容易！ 觉得萌娘百科有趣的话，请推荐给朋友哦...