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