Re: Интерфейс КИЛС поддержания логики счисления предик ↑

greenrainstorm 19 декабря 2013, 18:36 в посте Metapractice (оригинал в ЖЖ)

НО...в индексной записи это выглядит так: Существует Х и Не существует ХY'(вот и появилась смена знака) Но это уже не обычная стандартная запись (как привыкли логики), а более абстрактная.

Это будет просто другая запись КИЛСА типа с кружками, обведенными каким-нибудь штрих-пунктиром, обозначающим "не существует".

В диаграмме Кэрролла для этого ставят в нужную клетку черную фишку.

Ключевой вопрос такой: ГДЕ ЭТО МЫ ПЕРЕВОРАЧИВАЕМ ЗНАК Y'?
"В уме", - это гриндеровский (и кэрроловский!) путь тренировки формального знания!

Переворачиваются знаки только при формальной кэрролловской записи. При заполнении диаграмм Кэррола фишками таких переворачиваний нет.
Никак не пойму, что такого в диаграмме Кэрролла, что она не подходит для КИЛС? :)