Отрицающий модус условно-категорического силлогизма
Отрицающий модус условно-категорического силлогизма (modus tollens)
один из правильных модусов условно-категорического силлогизма: «Если есть А, то есть и В. Нет В. Следовательно, нет А».
Источник: Традиционная логика. Словарь по книге