Модус толленс
Мо́дус то́лленс (лат. modus tollens), рассуждение от противного. Модусом называется разновидность формы рассуждения. Формула модуса толленса выглядит так: «Если А, то Б. Не А. Следовательно, не Б». Например, «если собака обнаружит незваного гостя, она залает. Собака не лаяла. Следовательно, ни один незваный гость не был обнаружен собакой».
Кляхина Полина Руслановна