1. Главная
  2. Библиотека
  3. Логика
  4. Из утверждений: Некоторые студенты УрФУ - мизантропы. ...
Решение задачи на тему

Из утверждений: Некоторые студенты УрФУ - мизантропы. Ни один филантроп не является мизантропом. Выберите один или несколько правильных выводов: Некоторые филантропы - студенты УрФУ. Некоторые студенты УрФУ являются филантропами. Некоторые студенты

  • Логика
  • #Основы формальной логики
  • #Дедуктивные системы
Из утверждений:

Некоторые студенты УрФУ - мизантропы.
Ни один филантроп не является мизантропом.

Выберите один или несколько правильных выводов:

Некоторые филантропы - студенты УрФУ.

Некоторые студенты УрФУ являются филантропами.

Некоторые студенты

Условие:

Из утверждений (допустим, эти утверждения истинны)

Некоторые студенты УрФУ - мизантропы
Ни один филантроп не является мизантропом (это очевидно)

вне всякого сомнения следует вывод:...

Вопрос 1 Выберите один или несколько ответов:

Некоторые филантропы - студенты УрФУ


Некоторые студенты УрФУ являются филантропами


Некоторые студенты УрФУ не являются филантропами


Некоторые филантропы не являются студентами УрФУ


софизм это! ни один вывод не подходит

Решение:

Анализируем посылки:

  1. Посылка 1: Некоторые студенты УрФУ — мизантропы. Это означает, что существует хотя бы один студент УрФУ, который является мизантропом.

  2. Посылка 2: Ни один филантроп не является мизантропом. Фактически, если кто-то — филантроп, то он не может быть мизантропом.

Получаем следствия: – Пусть x — студент УрФУ и мизантроп (существует хотя бы один такой). – Из посылки 2 следует, что этот студент не может быть ф...