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

Нужно проверить правильность следующего силлогизма:  П1. Некоторые австралийские животные не летают.  П2. Все воробьи летают.  Вывод: Некоторые воробьи не живут в Австралии. Чтобы доказать, что силлогизм неверен, покажем, что можно построить модель (пример мира), в которой обе посылки истинны, а заключение ложно. Шаг 1. Формализация высказываний Обозначим утверждения следующим образом:  A(x) – x является австралийским животным  L(x) – x летает  S(x) – x является воробьем Тогда высказывания можно записать формально:  П1: ∃x (A(x) ∧ ¬L(x))  П2: ∀x (S(x) → L(x))  Вывод: ∃x (S(x)...