Modus ponendo tollens - Modus ponendo tollens

Modus ponendo tollens ( MPT ; латынь : «режим, который отрицает, утверждая») является действительным правилом вывода для логики высказываний . Он тесно связан с modus ponens и modus tollendo ponens .

Обзор

MPT обычно описывается как имеющий форму:

1. Не одновременно A и B
2. А
3. Следовательно, не B

Например:

1. Энн и Билл не могут одновременно выиграть гонку.
2. Энн выиграла гонку.
3. Следовательно, Билл не мог выиграть гонку.

Как описывает это Э. Дж. Леммон : « Modus ponendo tollens - это принцип, согласно которому, если имеет место отрицание конъюнкта, а также одного из его конъюнктов, то справедливо отрицание другого конъюнкта».

В логических обозначениях это можно представить как:

1. ${\ Displaystyle \ neg (А \ земля B)}$
2. ${\ displaystyle A}$
3. ${\ displaystyle \ поэтому \ neg B}$

На основе инсульта Шеффера (альтернативное отрицание), «|», вывод также можно формализовать следующим образом:

1. ${\ Displaystyle A \, | \, B}$
2. ${\ displaystyle A}$
3. ${\ displaystyle \ поэтому \ neg B}$

Доказательство

Шаг	Предложение	Вывод
1	${\ Displaystyle \ neg (А \ земля B)}$	Данный
2	${\ displaystyle A}$	Данный
3	${\ displaystyle \ neg A \ lor \ neg B}$	Законы Де Моргана (1)
4	${\ displaystyle \ neg \ neg A}$	Двойное отрицание (2)
5	${\ displaystyle \ neg B}$	Дизъюнктивный силлогизм (3,4)

Смотрите также

• Modus tollendo ponens
• Стоическая логика

Рекомендации