Логика в алгебре