Перевод аподиктической силлогистики Я. Лукасевича в модальное исчисление предикатов с равенствомтезисы доклада