Постройте прямое и косвенное обоснование тезиса

Прямое обоснование тезиса
Как известно, невменяемость – состояние, при котором человек по причине психического заболевания не осознает общественную опасность своих действий и фактический характер действий.
Тезис – «В момент совершения преступления подсудимый Петров находился в состоянии невменяемости».
Отсюда аргументами могут быть следующие:
а1 – «в момент совершения преступления подсудимый Петров проходил стационарный курс лечения в психиатрической лечебнице».
а2 – «в момент совершения преступления подсудимый Петров принимал процедуру инсулинового лечения, которая предполагает глубокий сон» .
Из данных аргументов напрямую следует заявленный тезис:
а1, а2 → Т.
Косвенное обоснование тезиса
Антитезис: «В момент совершения преступления подсудимый Петров не находился в состоянии невменяемости».
Следствия антитезиса:
С1 – «в момент совершения преступления подсудимый Петров не проходил стационарный курс лечения в психиатрической лечебнице, а амбулаторный».
С2 – «в момент совершения преступления подсудимый Петров не принимал процедуры, поэтому мог выйти из лечебницы».
Поскольку факты говорят об обратном, антитезис не верен, а верен тезис:
Т → С1, С2, ¬ С1, ¬ С2.
Форма доказательства – отрицающий модус (modus tollens) условно-категорического умозаключения: можно строить достоверные умозаключения от отрицания следствия к отрицанию основания.
Формула:
((p q) ¬q) ¬p.