[userpic]

Пример алгоритма создания вывода по правилам 

bavi в посте Metapractice (оригинал в ЖЖ)

Ресурсы логической игры Кэрролла
  3. Три правила создания вывода metanymous
    Задания bavi
Примеры 23, 24,25,26,27:
http://metapractice.livejournal.com/507817.html?thread=12852393#t12852393
Давайте просторим простейший алгоритм решения силлогизмов.
Левополушарный
1) Читаем посылки 1) и 2) ищем похожие слова (средние термины)
2) Сравниваем знаки средних терминов
2а) Если одинаковые, то
-) нулевая сущность средних терминов - вывод не возможен
-) ответ частная посылка
-) знаки меняем на противоположные, кроме частных посылок.
2б) Если разные, то
-) наличие частной посылки - вывод не возможет
-) нулевая сущность средних терминов - вывод не возможен
-- 1.0
-- 0.0
-) выписываем предикаты сохраняя сущность
Давайте распишем наши рассуждения:
Ни один старый еврей не толстый мельник.
Все мои друзья толстые мельники.
1) Ищим похожие слова - толстый мельник = средний термин
2) Операция сравнения - знаки разные (тостый мельник и не толстый мельник)
2.1) Частной посылки нет - вывод возможен
3) Сборка умозаключения:
а) посылки: мои друзья и старый еврей
б) вывод Общий ( мои друзья общий предикат)
в) знаки сохраняютсяв в формальной записи.
г) обратный перевод формальной в классическую форму умозаключения (2 предикат меняет знак)
Вывод: Все мои друзья не старые евреи
Теперь чуть короче:
Мука пригодна для пищи.
Толокно – сорт муки.
1) Похожие слова: мука = средний термин
2) Сравнение: разные (мука и не мука)
3) Сборка умозаключения: Толокно пригодно для пищи
Некоторые сны ужасны.
Ни один ягненок не способен вызвать ужас.
1) Похожие слова: ужасны = средний термин
2) Сравнение: одинаковые (ужасны = способны вызывать ужас)
3) Сборка умозаключения:
а) Частная посылка
б) одинаковые средние термины
Вывод: Некоторые сны не ягнята.
Ни один богатый человек не просит милостыни.
Всем, кто не богат, следует соразмерять свои расходы с доходами.
1) Похожие: богат
2) Сравнение: разные
3) Сборка:
а) предикаты ноль
б) разные средние
Вывод: отрицание
Ни один соизмеряющий расходы и доходы не просит милостыню
Ни один вор не честен.
Некоторых нечестных людей удается уличить.
1) Похожие: честен
2) Сравнение: разные (честен и нечестные)
3) Вывод:
а) частная посылка
Вывод невозможен