Modus tollens 是命題演算中一種有效的論證形式，其中 
和 
是命題。如果 
蘊含 
，並且 
為假，那麼 
為假。也稱為間接證明或反證法。
 |
例如，如果身為國王蘊含著擁有王冠，那麼沒有王冠就蘊含著不是國王。
Modus Tollens
另請參閱
Modus Ponens, 反證法本條目由 Jordan Bell 貢獻
使用 探索
參考文獻
Copi, I. M. and Cohen, C. 邏輯導論。 Upper Saddle River, NJ: Prentice Hall, 2001.在 上被引用
Modus Tollens請引用為
Bell, Jordan. "Modus Tollens." 來自 —— 資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/ModusTollens.html