Modus tollens 是命题演算中一种有效的论证形式，其中 
和 
是命题。如果 
蕴含 
，并且 
为假，那么 
为假。也称为间接证明或反证法。
 |
例如，如果身为国王蕴含着拥有王冠，那么没有王冠就蕴含着不是国王。
Modus Tollens
另请参阅
Modus Ponens, 反证法本条目由 Jordan Bell 贡献
使用 Wolfram|Alpha 探索
参考文献
Copi, I. M. and Cohen, C. 逻辑导论。 Upper Saddle River, NJ: Prentice Hall, 2001.在 Wolfram|Alpha 上被引用
Modus Tollens请引用为
Bell, Jordan. "Modus Tollens." 来自 MathWorld——Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/ModusTollens.html