일단 술어 논리 파트인데
만약 Fx가 존재적인 이름을 가지고 있고 그 이름이 도입되는 줄에서 y가 자유변수라면, 보편 양화사 도입 규칙을 사용해서는 안된다.

이게 뭔뜻이고 어떤 이유때매 안되는거임?