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

modus ponendo tollens

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

 

(или A, или B),   A      B

(или A, или B),   B      A

 

или, в символической записи:

 

(AB),   A     B

(AB),   B     A

 

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

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