Логика с полной системой силлогистических константтезисы доклада