Модус tollens считается надёжным методом логического рассуждения, потому что при истинной предпосылке заключение не может быть ложным. 1
Это следует из структуры модуса tollens, которая имеет вид «Если P, то Q. Не Q. Следовательно, не P». 13 Первая посылка — условное утверждение, вторая — утверждение о том, что следствие условного утверждения не соответствует действительности. 1 Из этих двух посылок можно логически заключить, что предшествующее условному утверждению утверждение также не соответствует действительности. 1
Модус tollens играет важную роль в дедуктивных рассуждениях и проверке гипотез. 2 Он стимулирует критическое мышление, позволяя устранять возможности, которые не совпадают с наблюдаемыми результатами, и тем самым сужать круг жизнеспособных гипотез или аргументов. 2