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