Противопоставление субъекту — различия между версиями
м |
|||
Строка 21: | Строка 21: | ||
[[файл:Умо14.png]] | [[файл:Умо14.png]] | ||
− | == [[ | + | == [[Умозаключение|Другие умозаключения:]] == |
− | {{Список | + | {{Список ЛУмо}} |
== Ссылки == | == Ссылки == | ||
*Википедия | *Википедия | ||
*[[Участник:Logic-samara]] | *[[Участник:Logic-samara]] | ||
[[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 05:05, 21 октября 2024
Противопоставление субъекту — это дедуктивное непосредственное умозаключение, состоящее из категорических посылки и заключения.
Содержание
Определение
Противопоставление субъекту - это преобразование (операция) категорического суждения, в результате которого субъектом становится предикат исходного суждения, а предикатом - понятие, противоречащее субъекту исходного суждения, и связка меняется на противоположную.
Такой вывод можно сделать, последовательно применяя обращение исходного суждения, а затем - превращение полученного результата, либо сразу следуя правилам для противопоставления субъекту: для частноотрицательных суждений не используются выводы с применением противопоставления субъекту, так как в процессе этого вывода мы должны были бы сделать обращение частноотрицательного суждения, для которого не применяется вывод посредством обращения. Противопоставление субъекту - это результат последовательно выполненных операций обращения и превращения.
Состав противопоставления субъекту
Состав из терминов
В обращение входят два термина:
- S — меньший термин: субъект заключения (входит в посылку);
- P — больший термин: предикат заключения (входит в посылку);
Состав из суждений
В превращение входят два суждения:
- посылка, включает S и P;
- заключение, включает P и S.
- Посылка — категорическое суждение.
- Заключение — категорическое суждение.
Структурные схемы
Противопоставление субъекту (перестановка и отрицание субъекта).
Другие умозаключения:
Ссылки
- Википедия
- Участник:Logic-samara