Информатик Алгебра логики Укажите, являются выводы обоснованными или нет. Подтвердите свои ответы, нарисовав диаграммы.
Вариант К, Ф, Я. Все люди — коты. Все коты любят сметану. Значит, все люди любят сметану.

Предыдущий
вопрос Следующий
вопрос

Для того чтобы проверить обоснованность выводов, рассмотрим следующие диаграммы:

К - множество всех людейФ - множество всех котовЯ - множество всех видов еды

Из условий задачи следует:

Все люди являются котами: К ⊆ ФВсе коты любят сметану: Ф ⊆ ЯВсе люди любят сметану: К ⊆ Я

На диаграмме это будет выглядеть следующим образом:

К Ф
| |
| | сметан
\ /
\
Все Вс
люди коты

Из диаграммы видно, что вывод "все люди любят сметану" не является обоснованным, так как есть люди, которые не обязательно любят сметану.