否定後件

维基百科,自由的百科全书
跳转至: 导航搜索

经典逻辑中,否定后件拉丁语modus tollens)有如下论证形式:

如果P,则Q。
非Q。
所以,非P。

它也可也被认为是否定结论,是一种有效的认证形式。

否定后件有时会与间接证明(假设命题的否定成立,证明这会导致矛盾)或者逆否命题证明(证明如果P则Q,通过证明如果非Q则非P的方法实现)相混淆。