Проверить правильность Понятия Конечной Сущности (ПКС) и, если оно неверно, опровергнуть его с помощью модельной схемы. Условие ПКС: Некоторые австралийские животные не летают. Все воробьи летают. Некоторые воробьи не живут в Австралии.

Мы должны проверить, является ли приведённый силлогизм корректным (то есть, правильно ли из посылок следует вывод) и, если он неверный, построить модель (контрпример), опровергающую его. Дано: 1. Посылка 1: «Некоторые австралийские животные не летают.» Обозначим: A – множество австралийских животных; F – множество летающих животных. Тогда посылку можно записать так: Существует хотя бы один объект x, такой что x ∈ A и x ∉ F. 2. Посылка 2: «Все воробьи летают.» Обозначим S – множество воробьёв. Тогда: Для любого x, если x ∈ S, то x ∈ F, то есть S ⊆ F. 3. Вывод (заключение...