Modus tollens — это действительный аргумент, форма и правило вывода. Это приложение общей истины о том, что если утверждение истинно, то и его контрапозитив тоже. Правило вывода подразумевает, что вывод из P подразумевает Q для отрицания Q, подразумевает, что отрицание P действительно.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]