Пример применения алгебраической системы рассуждения, основанной на силлогистическом выводетезисы доклада