ПРОТИВОПОСТАВЛЕНИЕ ПРЕДИКАТУ

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


Словарь логики 

ПРОТИВОРЕЧИЕ →← ПРОТИВОПОЛОЖНОСТЬ ЛОГИЧЕСКАЯ

T: 0.093497832 M: 3 D: 3