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

 

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

 

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

 

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

 

(AB),   A
    B
(AB),   B
    A

 

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


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