증명 죄다 논리 기호로 해야되나.