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

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

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

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

Отрицающе-утверждающий модус

В отрицающее-утверждающем модусе (modus tollendo ponens) меньшая посылка — категорическое суждение — отрицает все члены дизъюнкции, кроме одного, заключение — также категорическое суждение — утверждает оставшийся член дизъюнкции. Большая посылка должна быть дизъюнктивным высказыванием, в ней должны быть перечислены все возможные суждения — дизъюнкты.

Дизъюнция 2-х

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

Дизъюнция 3-х

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

Дизъюнция n

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

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

В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает все другие её члены. Заключение по этому модусу достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть разделительным (полным, закрытым, строгим) дизъюнктивным высказыванием. Применяя обычное (неполное, открытое, не строгое) дизъюнктивное высказывание, достоверного заключения получить нельзя.

Разделительная дизъюнция 2-х

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

Разделительная дизъюнция 3-х

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

Разделительная дизъюнция n

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

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

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

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

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

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

Ссылки

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