S есть Р. |
не-Р не есть S. |
Смотреть больше слов в «Словаре по логике»
вид непосредственного умозаключения, в котором субъектом вывода является понятие, противоречащее предикату посылки, предикатом является субъект посылк... смотреть
способ преобразования простого суждения, который заключается в том, что сначала это суждение подвергается превращению, а затем - обращению. Противопоставление предикату также считается одним из видов непосредственных умозаключений. ... смотреть
непосредственное умозаключение, в основе которого лежит установление отношения понятия, находящегося в отношении противоречия с предикатом посылки к субъекту посылки. ... смотреть
протиставлення предикату