Формула modus tollens записывается так:

а) ((А В) В) А

б) А В, В

А

в) А ВВ

А

Читается это следующим образом: «Если А, то В, и не-В, то не-А»

Названные два модуса подчиняются универсальному объективному принципу причинности:

«если есть причина, то есть и следствие, а если нет следствия, то нет и причины». Оба они являются правильными модусами

Третий и четвёртый модусы однозначно достоверных заключений не дают. Их принято считать неправильными, а точнее - вероятностными модусами.

Они подчиняются правилам:

- отрицание основания не ведёт с необходимостью к отрицанию следствия и

- утверждение следствия не ведёт с необходимостью к утверждению основания

3) От отрицания основания к отрицанию следствия:

если А, то В не-А

не-В «Если я простужусь (А), то заболею (В)

Я не простудился (не-А)

------------------------------------------------------------------

Следовательно, я не заболел (не-В)»

Ясно, что здесь нет достаточных оснований для вывода. Мы прекрасно знаем,

что и без простуды можно захворать

4) От утверждения следствия к утверждению основания:

если А, то В

В

А

«Если я простужусь (А), то заболею (В) Я заболел (В)

--------------------------------------------------------------------

Следовательно, я простудился (А)»

Данный вывод однозначным быть тоже не может

Все четыре модуса Вы сами можете проверить на истинность с помощью таблицистинности

Чисто условное умозаключение (ЧУУ)

- это умозаключение, обе посылки которого являются условными суждениями

Пример:

«Если данное деяние - мошенничество (А), то оно - преступление (В)

Если оно - преступление (В), то карается по закону (С)

---------------------------------------------------------------------

Следовательно, если данное деяние - мошенничество (А),

то оно карается по закону (С)»

Формула ЧУУ:

Если А, то В Если В, то С

Следовательно, если А, то С.

Символическая запись Ч (А В) (В С)

А С

Правило, которому подчиняется чисто условное умозаключение:

следствие следствия есть следствие основания

Разделительные умозаключения

- умозаключения, в которых хотя бы одна из посылок является разделительным суждением

Разделительные умозаключения бывают двух типов:

1)разделительно-категорические и

2)условно-разделительные

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

- такое умозаключение, в котором одна посылка является сложным разделительным суждением,

а другая - простым категорическим суждением

В логике известны два модуса РКУ