Основываясь на приведенном ниже рассуждении

Разделительно-категорическое умозаключение имеет два модуса: (1) утверждающе-отрицающий (ponendo tollens) и (2) отрицающе-утверждающий (tollendo ponens).
(1) Утверждающе-отрицающий. В этом модусе дизъюнкция должна быть только строгой, в противном случае мы не получаем достоверного вывода. Этот модус имеет две формулы.
((А ≠ В) & А) → В .
«Одна и та же душа либо смертна, либо бессмертна.
Эта душа умерла.
Эта душа не бессмертна».
Вывод носит достоверный характер.
2) ((А ≠ В) & В) → А.
«Одна и та же душа либо смертна, либо бессмертна.
Эта душа бессмертна.
Эта душа не умерла».
Вывод носит достоверный характер