Лицо не подлежит уголовной ответственности за преступление, если оно добровольно и окончательно отказалось от доведения этого преступления до конца. Гр. Д. не подлежит уголовной ответственности за данное преступление. Значит, он добровольно и окончательно отказался от доведения данного преступления до конца

В умозаключениях со сложными суждениями, к которым относится и условно-категорическое умозаключение анализ начинается со сложного суждения. В условном суждении выявляется основание и следствие, а также вид условной зависимости между ними. Наличие слова «если» подсказывает, что основание идет после него. Обозначив основание буквой p, а следствие буквой q, отметим основание и следствие в условной посылке: «Лицо не подлежит уголовной ответственности за преступление (q), если оно добровольно и окончательно отказалось от доведения этого преступления до конца (p)». Условная зависимость основания и следствия в этой посылке выражает отношение достаточности, что выражается прямой импликацией «®». Анализ категорической посылки направлен на то, что бы выяснить, какая часть условной посылки в нем подтверждается или отрицается. В данном случае в суждении «Гр. Д. не подлежит уголовной ответственности за данное преступление (q).» повторяется следствие.

Поскольку в условной посылке подтверждается следствие, то такая разновидность условно-категорического силлогизма называется утверждающим модусом. При рассуждении по этому модусу – от утверждения следствия к утверждению основания, заключение с необходимостью не следует. Значит, приводимое в рассуждении заключение носит лишь вероятностный характер.

Схематически это можно представить так: p® q, q;

Наступление уголовной ответственности возможно только для лиц, которые осознают фактический характер своих действий (бездействия). Гр. Н. не осознавал фактический характер своих действий. Значит, наступление для него уголовной ответственности невозможно

Обозначив основание буквой p, а следствие буквой q, отметим основание и следствие в условной посылке: «Наступление уголовной ответственности возможно (q), только для лиц, которые осознают фактический характер своих действий (бездействия) (p)».

Условная зависимость основания и следствия в этой посылке выражает отношение необходимости, что выражается обратной импликацией «←». Анализ категорической посылки показывает, что здесь рассуждение ведется от отрицания основания. В данном случае в суждении «Гр. Н. не осознавал фактический характер своих действий» (ù р) отрицается основание. Такой отрицающий модус условно-категорического умозаключения с обратной импликацией носит достоверный характер и в символической записи выглядит так:

р ¬ q, ù р

ù q