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