Понятие логического отрицания в алгебре логики