Нестандартные переводы позитивных силлогистик в исчисление предикатовтезисы доклада