Modus tollens

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

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 320.