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

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

Напомню правила:
ПРАВИЛО 1: если средние термины (М) не равны (М - не равен M), то ХY сохраняют свои знаки и сущность.
Возьмем три примера(общие посылки), в которых получаются разные по сущности выводы. В формальной записи они будут выглядеть так:
а) Х1М'0 + Y1M0 = Х1Y1

сущность и Х, и Y (1) перешла в вывод. Это значит, что у нас двойной вывод:
Внимание! Формальная запись вывода выглядит так:
а) Х1Y0
б) Y1Х0
По сути это формальная запись ОБЩЕГО суждения. Мы помним, что ТОЛЬКО для общего суждения второй знак(который с нулем) переворачивает свой знак при переводе "из" или "в" формальную запись. Это значит, что в формулировке посылки или вывода он (знак с нулем) поменяет знак.
Т.е в результате:
а)  ВСЕ Х суть не-Y
б) ВСЕ Y суть не-X

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

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