Например:
Власть может быть законодательной, или исполнительной, или судебной
Данная власть - законодательная
Следовательно, данная власть не исполнительная и не судебная
В умозаключении по этому модусу необходимо соблюдать следующее правило: разделительная посылка должна представлять собой строгую дизъюнкцию.
Отрицающе-утверждающий модус - это разновидность разделительно-категорического умозаключения, в которой путем отрицания всех членов разделительного суждения, кроме одного, производится утверждение оставшегося члена. Его логическая структура такова: