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

modus tollens

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

 

(Если A, то B),   ¬B                ¬A

 

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

 

(AB),   ¬B         ¬A

 

Правилу modus tollens соответствует закон контрапозиции.

Другие названия: правило контрапозиции.

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