Yes, you can do that since the Forall algorithm is just a dual to the Exists algorithm. That means if you would compute the Forall operation as negation of Exists of the negation, you would to the same cut as well. The difference is just that you have to compute a conjunction instead of the disjunction, as you know.
