定律与定理 › 定理
modus tollens
if X implies Y, and Y isn't true, then neither is X
在经典逻辑中，否定后件 有如下论证形式：
如果P，则Q。
非Q。
所以，非P。
摘自维基百科「否定後件」，CC BY-SA 4.0
中文维基百科英文维基百科Wikidata
格物