Алгебра высказываний. Формальные теории. Предикаты. Модуль 5 - презентация онлай 15 элементы логики законы логики примеры