Словари

Главная / Словарь логики / / Противопоставление Предикату

Что такое Противопоставление Предикату? Значение и толкование слова protivopostavlenie predikatu, определение термина

Противопоставление Предикату -  - вид непосредственно­го умозаключения, в котором субъектом вывода является понятие, противоречащее предикату посылки, предикатом является субъект посылки, а связка изменяется на противоположную символически: П. п. представляет собой соединение превращения с обра­щением, поэтому при его выполнении следует сначала произвес­ти превращение посылки, а затем обратить получившееся суждение: превращаем «S есть Р», получаем «S не есть не-Р», затем обращаем последнее суждение и приходим к выводу «не-Р не есть S». Затруд­нения здесь носят чисто грамматический характер. Чтобы избежать их, следует формулировать связку в явном виде и фиксировать отрицания. Из общеутвердительного суждения следует общеотрица­тельный вывод; из общеотрицательного суждения следует частноутвердительный вывод; из частноотрицательного суждения следует частноутвердительный вывод; из частноутвердительного суждения нельзя получить вывод путем П. п.

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Противоречие -  - два высказывания, из которых одно являет­ся отрицанием другого. Напр.: «Латунь - химический...
Равенство -  — отношение между знаковыми выражениями, обо­значающими один и тот же объект, когда все, что...
Равнозначность - (равносильность, эквивалентность)  - от­ношение между высказываниями или формулами, когда они...
Равнообъемность -  - отношение между понятиями, объемы которых совпадают. Напр., понятия «луна» и «естественный...
Разделительно-Категорическое Умозаключение -  -умозаключение, в котором одна из посылок — разделительное суж­дение, а другая — категорическое....
Разделительное Суждение -  - дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или...
Разрешающая Процедура - см.: Разрешения проблема.
Разрешения Проблема - или: Разрешимости пробле­ма,  — проблема нахождения для данной дедуктивной теории общего метода,...
Разрешимая Теория -  — теория, для которой существует эф­фективная процедура (алгоритм), позволяющая о каждом...