Условие:
Проверить на правильность ПКС и опровергнуть его с помощью модельной схемы, если он неправильный: Некоторые австралийские животные не летают. Все воробьи летают.
5, Некоторые воробьи не живут в Австралии.
Решение:
Нужно проверить правильность следующего силлогизма:
П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)...