1. - Реальные с разными знаками (M’1 – M1), то ХиY, в выводе, сохраняют свои знаки и сущность2. - Реальные одного знака (M1 – M1 ), то вывод Реальность, и меняет знак, в выводе, тот термин, который пустойНа мой взгляд, тут нужно уточнить правила, потому как, если выбрать такие посылки:1. XM'1+ YM12. XM1+ YM1то в результате получится "ошибка двух посылок-реальностей" (в терминах Л.Кэрролла)
Все верно, я их вывел из рассмотрения изначально.1. Все - Все - Вывод2. Все - Некоторые - Вывод3. Все - Ни один...не - Вывод4. Ни один...не - Ни один...не - Вывод5. Ни один...не - Некоторые – ВыводЭто очевидное исключение.
Хм. Если получится, то да.Надо кое что еще проверить, и сделать более точные описания правил. Есть подозрения на многозначительность понимания.Но я хочу пойти дальше и посмотреть если закономерности без перевода в формальную запись.