어떤 식을 양화했다고 할때 그 식에 변항은 필수적으로 있어야하겠죠?

그러니 '(x)(∃y)(F→R)'와 같은 식은 조건문을 양화했다고 볼 수 없죠??
(여기서 (x)는 보편양화사, (∃y)는 존재양화사, F,R은 문장문자)


식의 나타남 개념에선 뒤의 식에 변항 유무와 상관없이 나타나고 속박됨이 결정되어서 이거랑 좀 헷갈리네요