짤을 보면, g_M이 논리식에 대해서 논리식을 참으로 만드는 모든 variable assignment의 집합인거 같은데요,

먼저 2번째 줄에서 g_M은 VarAssign_M의 멱집합으로 가야 되는 거 맞죠?(이건 오타인 거 같음)


무엇보다도, 7번째 줄에서 gM(∃x φ)를 왜 굳이 저렇게 정의하나요? gM(∃x φ)= gM(φ)

라 해도 되는 거 아닌가요? 같은 것 같은데요?