Если для мета-моделирования "все бабы дуры" продолжается встречным вопросом "ВСЕ ВСЕ бабы дуры"?, то в ожидаемом мета-логическом моделировании ежели сказано что "все бабы дуры", - так это далее ни при каких условиях не пересматривается/не подвергается сомнению.
Ну "дуры" это нагруженное слово: в нём уже есть ссылка на "баб". Возьмём другое высказывание: "все женщины глупые". Чтобы его показать диаграммой Эйлера, надо нарисовать кружок "женщины" ВНУТРИ кружка "глупцы". А на вашем слайде такая конфигурация маленького кружка внутри большого соответствует совсем другое высказывание: "некоторые женщины глупые". С другой стороны, вы рисуете "все Х есть М" как совпадающие кружки — таким образом высказывание "все женщины есть глупые" вы бы нарисовали двумя совпадающими кружками — а это не верно. Так понятно?
"МОГУТ" БЫТЬ! Я о том и говорю, что диаграммы Кэррола не сводятся к кругам Эйлера.
На одно "логическое" высказывание существует ровно одна диаграмма Кэррола.
На одно "логическое" высказывание существует несколько вариантов кругов Эйлера — невозможно указать какой точно без остальных высказываний рассматриваемого ээ универсума высказываний.
На одну диаграмму Кэррола существует один или больше вариантов кругов Эйлера.