Дополнения по Презентации "Логическая игра Л.Кэрролла" ↑

bavi 08 февраля 2016, 12:37 в посте Metapractice (оригинал в ЖЖ)

Напомню, что некоторое время назад по результатам Логической Игры Л.Кэрролла были зафиксированы 3 правила для решения силлогизмов. Правила очень простые и легко запоминаемые. Вернувшись опять к этой теме я заметил в своей презентации слабые места - неподготовленному человеку сложно будет взять и решать силлогизмы. Поэтому несколько пояснений будут полезны.

Напомню правила:

ПРАВИЛО 1: если средние термины (М) не равны (М - не равен M), то ХY сохраняют свои знаки и сущность.

Возьмем три примера(общие посылки), в которых получаются разные по сущности выводы. В формальной записи они будут выглядеть так:

а) Х1М'0 + Y1M0 = Х1Y1

сущность и Х, и Y (1) перешла в вывод. Это значит, что у нас двойной вывод:

Внимание! Формальная запись вывода выглядит так:

а) Х1Y0

б) Y1Х0

По сути это формальная запись ОБЩЕГО суждения. Мы помним, что ТОЛЬКО для общего суждения второй знак(который с нулем) переворачивает свой знак при переводе "из" или "в" формальную запись. Это значит, что в формулировке посылки или вывода он (знак с нулем) поменяет знак.

Т.е в результате:

а) ВСЕ Х суть не-Y

б) ВСЕ Y суть не-X

(Примечание: Для общих посылок достаточно раз и навсегда запомнить правило создания формальной записи из посылки и посылки их формальной записи)

Обратите внимание, что Из двух общих посылок мы получили 2 вывода, состоящий из двух общих суждения.