Утверждающе-отрицающий модус (modus ponendo tollens) — это:

• меньшая посылка отрицает одну из альтернатив, заключение утверждает другую
• меньшая посылка — категорическое суждение — утверждает одну из альтернатив, заключение — также категорическое суждение — отрицает
• умозаключение, в котором одна посылка условное, а другая — разделительное суждение
• умозаключение, в котором посылка, выраженная категорическим суждением, отрицает истинность следствия, а заключение отрицает истинность основания