[userpic]

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

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

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