Эквивалентно-категорические умозаключения

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

Схема умозаключения

• Большая посылка — эквивалентное суждение.
• Меньшая посылка — категорическое уверждающее или отрицающее суждение.
• В заключении соответствующее категорическое суждение.

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

Утверждающий модус

В утверждающем модусе (modus ponens) меньшая посылка, выраженная категорическим суждением, утверждает истинность одного суждения, а заключение утверждает истинность другого суждения. Первая посылка – эквивалентное суждение, выражающее связь двух простых суждений. Вторая посылка – категорическое суждение, в котором утверждается истинность одного суждения. Признав истинность одного суждения, признаём истинность эквивалентного суждения.

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Отрицающий модус

В отрицающем модусе (modus tollens) меньшая посылка, выраженная категорическим суждением, отрицает истинность одного суждения, а заключение утверждает отрицает истинность другого суждения. Рассуждение направлено от отрицания истинности одного суждения к отрицанию истинности эквивалентного суждения.

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Другие понятия:

• логический закон;
• логическая функция:

1. совершенная дизъюнктивная нормальная форма;
2. совершенная конъюнктивная нормальная форма;
3. минимальная дизъюнктивная нормальная форма;
4. минимальная конъюнктивная нормальная форма;
5. алгебраическая нормальная форма;

• таблица истинности;
• карта Карно;
• трёхмерная карта Карно;
• полином Жегалкина;
• предикат;
• секвенции;
• суждение;
• умозаключения:

1. превращения;
2. обращения;
3. противопоставления предикату;
4. противопоставления субъекту;
5. чисто условные;
6. силогизмы;
7. условно-категорические;
8. разделительно-категорические;
9. эквивалентно-категорические.

Ссылки

• Википедия
• Участник:Logic-samara