Да, уж. Но я же рисую себе какие-то картинки, а затем левый мозг начинает сразу оптимизировать и искать упрощенные схемы - вот например и сейчас. Итак, возможен такой алгоритм - для формальной записи - решения силлогизма (в уме): * для формальной - значит необходимо учитывать инверсию знаков в общих посылках. (Прошу прощения за картинку - нарисовал на "коленке". Может пригодится для составления графических подсказок)
Это подсказка для левополушарников. Для правополушарников я буду размещать схемы ЛК.
У меня, похоже, они как-то уже параллельно действуют. Я же сначала играл по правилам ЛК(долго и упорно), пока не осознал левополушарный алгоритм. И сейчас проверка левополушарного вывода идет графической схемой ЛК, но никогда не наоборот.
Почему, я до сих пор не начал выкладывать графические подсказки? Там есть интересный эффект последовательного заполнения этой решетки/квадрата - 1) отрицательные посылки и 2) затем частные и тогда идет правильный вывод.
Т.е конечная картинка вывода не даст такого результата, как мне кажется. Можно выкладывать несколько последовательных картинок с комментариями и тогда у играющих сложится правильная последовательность. Если я правильно улавливаю нашу цель.