[離散第四版] CH10 小疑問

p10-96 範例10 94清大資工

請問可以把"對所有y"提到最外面麻 ? ie. (存在x)(對所有y) [ C(x) ...

解答是寫在裡面啦, 不知道寫在外面ok ?!

謝謝解答