否定後件

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP




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


如果P,则Q。

非Q。

所以,非P。

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


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






Popular posts from this blog

倭马亚王朝

Gabbro

托萊多 (西班牙)