5
양자화의 순서를 바꾸는 기술
일반적으로, 범용 및 실재 양자화 기의 순서를 바꿀 수 없다는 것은 잘 알려져있다. 즉, 일반 논리식 경우ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) 반면에 우리는 오른쪽이 왼쪽보다 더 제한적이라는 것을 알고 있습니다. 즉, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow (\forall x)(\exists y) \phi(x,y) 입니다. 이 질문은 …