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

bavi 30 ноября 2013, 15:12 в посте Metapractice (оригинал в ЖЖ)

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

Хм.

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

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

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

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

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

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

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

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

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

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

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