Fx : x는 지구의 중심이다 라고 하면

Ex(Fx&Ay(Fy->x=y))는 분석적 참임, 논리적 참임?