기호논리학으로 이미 있음여