Умозаключение: «Все не-A есть не-В, следовательно, Некоторые не-В есть не-А» представляет собой:
Другие предметыУниверситетУмозаключениеумозаключениелогикауниверситетпротивопоставлениесубъектпредикатобращениепревращение
Чтобы определить, к какому типу умозаключения относится данное утверждение, давайте проанализируем его структуру.
Исходное умозаключение гласит: «Все не-A есть не-В». Это утверждение можно представить в логической форме:
Теперь рассмотрим вывод: «Некоторые не-В есть не-А». Это утверждение также имеет свою структуру:
Теперь давайте разберемся, что происходит в этом умозаключении:
Теперь, чтобы понять, к какому типу относится данное умозаключение, рассмотрим предложенные варианты:
В нашем случае мы видим, что мы не просто меняем местами субъект и предикат, а используем информацию о не-A, чтобы сделать вывод о не-В. Это соответствует обращению, так как мы используем свойства одного класса, чтобы сделать вывод о другом.
Таким образом, правильный ответ на вопрос: это обращение.