![[userpic]](https://metapractice.ru/images/none-4ee1bcd692ded7d0186297bdd7e6cfd1.gif?vsn=d)
Re: Ожидаемое мета-логическое моделирование ↑
bavi в посте Metapractice (оригинал в ЖЖ)
Не обязательно, круги могут быть одинаковы. (Ничего не меняет, но все таки)
2 комментария
сначала старые сначала новые
![[userpic]](/media/13d872ec9f767ad8008e6f82e03d7d42b2046c53f7eed93d1d56b0786c852e74)
"МОГУТ" БЫТЬ! Я о том и говорю, что диаграммы Кэррола не сводятся к кругам Эйлера.
На одно "логическое" высказывание существует ровно одна диаграмма Кэррола.
На одно "логическое" высказывание существует несколько вариантов кругов Эйлера — невозможно указать какой точно без остальных высказываний рассматриваемого ээ универсума высказываний.
На одну диаграмму Кэррола существует один или больше вариантов кругов Эйлера.
Сейчас нарисую всё и понятно станет.
На одно "логическое" высказывание существует ровно одна диаграмма Кэррола.
На одно "логическое" высказывание существует несколько вариантов кругов Эйлера — невозможно указать какой точно без остальных высказываний рассматриваемого ээ универсума высказываний.
На одну диаграмму Кэррола существует один или больше вариантов кругов Эйлера.
Сейчас нарисую всё и понятно станет.