![[userpic]](/media/13d872ec9f767ad8008e6f82e03d7d42b2046c53f7eed93d1d56b0786c852e74)
Угу, примерно понимаю. Усиление предиката типа происходит. А чем индексная запись удобней расширенных (на три переменных) диаграмм Кэррола?
1 комментарий
![[userpic]](https://metapractice.ru/images/none-4ee1bcd692ded7d0186297bdd7e6cfd1.gif?vsn=d)
А чем индексная запись удобней расширенных (на три переменных) диаграмм Кэррола?
Хм.
- Индексная запись очень удобна для решения соритов.
- Удобна для мгновенного/не делая записи решения силлогизма (на диаграммы необходимо время, даже если строить в пространстве перед собой)
- Строя диаграммы мы все равно обращаемся/делаем эту формальную запись в голове, т.е переворачиваем знак.
Например: Все X есть М
Ход создания диаграммы:
- два черных кружка на XM'
- красный кружок на XM
- Сейчас с 3-правилами можно делать вывод "не делая даже эту запись". Что я имею ввиду?
1. Смотрим совпадающие термины (средние)
2. Смотрим Посылки ( есть ли начинающаяся с Некторые...)
3. Берем оставшиеся посылки и формируем ответ - выставляя квантор и знак. Все.
Хм.
- Индексная запись очень удобна для решения соритов.
- Удобна для мгновенного/не делая записи решения силлогизма (на диаграммы необходимо время, даже если строить в пространстве перед собой)
- Строя диаграммы мы все равно обращаемся/делаем эту формальную запись в голове, т.е переворачиваем знак.
Например: Все X есть М
Ход создания диаграммы:
- два черных кружка на XM'
- красный кружок на XM
- Сейчас с 3-правилами можно делать вывод "не делая даже эту запись". Что я имею ввиду?
1. Смотрим совпадающие термины (средние)
2. Смотрим Посылки ( есть ли начинающаяся с Некторые...)
3. Берем оставшиеся посылки и формируем ответ - выставляя квантор и знак. Все.