| 1) | Все Х есть M Все Y есть M | X1M’0 – Y1M’0 X1M0 – Y1M0 | М’0 – М’0 М0 – М0 | M - M |
| 4) | Все Х есть M’ Ни один Y не есть M (и инверсия знака M) | X1M0 – YM0 X1M’0 – YM’0 | М0 – М0 (2/4) М’0 – М’0 (2/4) | M’ - M |
| 5) | Ни один Х не есть M Ни один Y не есть M (и инверсия знака M) | XM0 – YM0 XM’0 – YM’0 | М0 – М0 М’0 – М’0 | M - M |
| ТОЛЬКО для YM1 - Некоторые Y/X есть М Позиция М – 2/4 | ||||
| 2) | Все Х есть M Некоторые Y есть М (и инверсия знака M) | X1M’0 – YM1 X1M0 – YM’1 | М’0 – М1 (2/4) М0 – М’1 (2/4) | M - M |
| 6) | Ни один Х не есть M’ Некоторый Y не есть M (и инверсия знака M) | XM’0 – YM1 XM0 – YM’1 | М’0 – М1 (2/4) М0 – М’1 (2/4) | M’ - M |
| Позиция М – 1/3 | ||||
| 3) |
| а) | Все Х есть M Все Y есть M | Вывод невозможен | |
| б) | Все Х есть M Все Y есть M’ |
--Кстати, а может попробовать описать Состояние через модель ЦИ? Например, состояние - это комбинация из текущего активного контекста + текущей активной ЦИ в этом контексте + текущего активного уровня этой ЦИ.
--Можно, ежели ты выделишь/укажешь ВЕДУЩУЮ АЛЬТЕРНАТИВУ для заданного/интересующего тебя состояния. Как только ты выделяешь такую альтернативу, - описать состояние матрицей ЦИ становится совершенно тривиальным делом. (Надо перенести эту идею в тему Состояния).
http://metapractice.livejournal.com/360181.html?thread=9282805#t9282805
Дочитали до конца.