Противопоставление субъекту

Противопоставление субъекту — это дедуктивное непосредственное умозаключение, состоящее из категорических посылки и заключения.

Определение

Противопоставление субъекту - это преобразование (операция) категорического суждения, в результате которого субъектом становится предикат исходного суждения, а предикатом - понятие, противоречащее субъекту исходного суждения, и связка меняется на противоположную.

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

Состав противопоставления субъекту

Состав из терминов

В обращение входят два термина:

• S — меньший термин: субъект заключения (входит в посылку);
• P — больший термин: предикат заключения (входит в посылку);

Состав из суждений

В превращение входят два суждения:

• посылка, включает S и P;
• заключение, включает P и S.
• Посылка — категорическое суждение.
• Заключение — категорическое суждение.

Структурные схемы

Противопоставление субъекту (перестановка и отрицание субъекта).

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

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

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

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

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

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

Ссылки

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