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