[userpic]

Re: Ожидаемое мета-логическое моделирование ↑

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

"МОГУТ" БЫТЬ! Я о том и говорю, что диаграммы Кэррола не сводятся к кругам Эйлера.

На одно "логическое" высказывание существует ровно одна диаграмма Кэррола.

На одно "логическое" высказывание существует несколько вариантов кругов Эйлера — невозможно указать какой точно без остальных высказываний рассматриваемого ээ универсума высказываний.

На одну диаграмму Кэррола существует один или больше вариантов кругов Эйлера.

Сейчас нарисую всё и понятно станет.