Словарь по логике

modus tollendo ponens

Историческое название правильных отрицающе-утверждающих форм разделительно-категорического силлогизма вида

 

(A или B),   не A      B

(AB),   ¬A     B

 

и

 

(A или B),   не B      A

(AB),   ¬B     A

 

Вывод по этому модусу будет правилен и при нестрогом, и при строгом понимании дизъюнкции.

Символическая форма часто также называется правилом исключения дизъюнкции.

© Автор статьи.