[userpic]

Промежуточный Итог. Правила ↑

bavi в посте Metapractice (оригинал в ЖЖ)

Вывод возможен, когда средние термины:
- Пустые и разных знаков (M’0 – M0 ), то ХиY, в выводе, сохраняют свои знаки и сущность
- Один пустой, др. реальный с разными знаками(M’0 – M1 ), то ХиY, в выводе, сохраняют свои знаки и сущность
- Реальные  с разными знаками (M’1 – M1), то ХиY, в выводе, сохраняют свои знаки и сущность
- Один пустой, др. реальный с одинаковыми знаками (M0 – M1 ), то вывод - Реальность, и меняет знак, в выводе, тот термин, который пустой. 
-  Реальные одного знака (M1 – M1 ), то вывод Реальность, и меняет знак, в выводе, тот термин, который пустой. 
Вывод не возможен, когда средние термины:
- Пустые и одного знака (M0 – M0 )
- Когда одна посылка вида XM1 (реальная), а вторая пустая  и разных знаков (M’0 – M1 ).
- Реальность и имеют разные знаки (M1 – M’1 )

11 комментариев

сначала старые сначала новые