Проверьте правильность следующих умозаключений на соответствие правилам условно-категорического силлогизма (истинное

Условная посылка:
Если своевременно не начать курс лечения (А), то возникнут осложнения (В).
Категорическая посылка:
У Петрова не было осложнений после болезни (не-В).
Заключение:
Петров своевременно прошел курс лечения (не-А).
Умозаключение правильное, вывод достоверный, так как соответствует правилам условно-категорического умозаключения в отрицающем модусе.
Отрицающий модус (modus tollens) условно-категорического умозаключения: можно строить достоверные умозаключения от отрицания следствия к отрицанию основания.
Схема:
А В, ¬В
¬А