Диаграммы Кэррола и схемы Эйлера ↑

Обрати внимание, что в 2/4 и 3/4 есть принцип эээ обращение предиката

---

Т.е

---

Некоторый Х есть М = Все М есть Х

---

И он возможен, когда есть черный кружок

По сути там где ты поставил вопрос там тоже можно ставить кружок. На всех схемах Не Х и Не М будет пересекаться. Об этом и писал ЛК, что привело его к ограничению -Не в границах.

Угу, примерно понимаю. Усиление предиката типа происходит. А чем индексная запись удобней расширенных (на три переменных) диаграмм Кэррола?

Ну это смотря как ЛК строит универсум (U). В общем случае "не Х и одновременно не М" может:

---

— существовать — значит имеет место третье множество/свойство/предикат U-X-M

---

— не существовать — U=X+M

А чем индексная запись удобней расширенных (на три переменных) диаграмм Кэррола?

---

Хм.

---

- Индексная запись очень удобна для решения соритов.

---

- Удобна для мгновенного/не делая записи решения силлогизма (на диаграммы необходимо время, даже если строить в пространстве перед собой)

---

- Строя диаграммы мы все равно обращаемся/делаем эту формальную запись в голове, т.е переворачиваем знак.

---

Например: Все X есть М

---

Ход создания диаграммы:

---

- два черных кружка на XM'

---

- красный кружок на XM

---

- Сейчас с 3-правилами можно делать вывод "не делая даже эту запись". Что я имею ввиду?

---

1. Смотрим совпадающие термины (средние)

---

2. Смотрим Посылки ( есть ли начинающаяся с Некторые...)

---

3. Берем оставшиеся посылки и формируем ответ - выставляя квантор и знак. Все.