Формализация традиционной сингулярной негативной силлогистикитезисы доклада