Если иск предъявлен недееспособным лицом (р), то суд оставляет

иск без рассмотрения (q).

Суд не оставил иск без рассмотрения (не-q).

Неверно, что иск предъявлен недееспособным лицом (не-р)

Схема отрицающего модуса:

P®q, ùq

ùp

Bозможны еще две разновидности условно-категорического силлогизма: от отрицания истинности осно­вания к отрицанию истинности следствия (3) и от утверждения истинности следствия к утверждению истинности основания(4). Однако заключение по этим модусам не будет достоверными.

Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение осно­вания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходи­мостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Разделительно-категорическое умозаключение