Modus tollens это верное заключение, приводящее к выводу о ложности посылки исходя из ложности по меньшей мере одного из ее следствий и принимающее форму: если р, то q; однако не q, следовательно, не р.
Пример Modus tollens:
Eсли Сократ бог, то он бессмертен; однако Сократ не бессмертен, следовательно, он не бог.
По мнению Поппера, именно такое дедуктивное заключение составляет сердцевину фальсификации, а следовательно, вообще метода экспериментальных наук. Если предположение q есть необходимое следствие теории (или гипотезы) р, достаточно всего одного факта, свидетельствующего о ложности q, чтобы прийти к выводу о ложности р.
