Силлогистика С3+ с константой исчерпываемоститезисы доклада