Силлогистика с константами, соответствующими модельным схемам с универсумомтезисы доклада