Как modus tollendo ponens используется в современной логике?

В современной логике modus tollendo ponens называют правилом удаления дизъюнкции. azbyka.ru studfile.net

Это термин средневековой логики, который обозначает разделительно-категорическое умозаключение: первое или второе; не первое; значит, второе. azbyka.ru

Пример использования: «Ревизора» написал или Пушкин, или Гоголь. 4brain.ru Пушкин не писал «Ревизора». 4brain.ru Значит, «Ревизора» написал Гоголь. 4brain.ru

Modus tollendo ponens будет правильным независимо от того, является ли разделительная посылка строгой или нестрогой дизъюнкцией. 4brain.ru