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