[userpic]

... ↑

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

б) M’1X'0 + M1Y’0 = Х’0Y’0
Эта формальная запись будет записана в классическую форму:
Все не-М суть Х
Все М суть Y
сущность и Х, и Y (0) перешла в вывод. Это значит, что у нас отрицательное суждение(сущность отсутствует) и знаки сохранились:
Х’0Y’0
Это можно записать как:
Ни один не-Х не есть не-Y
Из двух общих посылок получается ОТРИЦАТЕЛЬНОЕ суждение.
Зная только ПРАВИЛО 1, мы легко смогли сделать ввод и двойной общий и отирицательный.
Важен контроль СУЩНОСТЕЙ (Х и Y) и ЗНАКОВ (М)
в) M1X'0 + Y1M’0 = Y1X’0
Здесь вы уже легко переведете в классическую форму из вышенаписанной формальной записи)
сущность Х (0), сущность Y (1) перешла в вывод, знаки сохранены.
НО ЗДЕСЬ есть тонкость - прямой перенос дает такую формулу:
Х’0Y1
Но такого суждения НЕ СУЩЕСТВУЕТ, поэтому ставим Y на первое место и тогда у нас получается ФОРМАЛЬНАЯ ЗАПИСЬ ОБЩЕГО суждения:
Y1X’0
который звучит(помним, что обратный перевод из формальной записи меняет знак второго термина):
Все Y суть Х
Итого: Рассмотрев общие суждения и применяя ПРАВИЛО 1, мы легко сделали 3 разных вывода:
а) ДВОЙНОЙ ОБЩИЙ
б) ОТРИЦАТЕЛЬНЫЙ
в) ОБЩИЙ ( с перестановкой X и Y)