5
Quant Düzenini Tersine Çevirme Teknikleri
Genel olarak, evrensel ve varoluşsal niceleyicilerin sırasının tersine çevrilemeyeceği iyi bilinmektedir. Başka bir deyişle, genel bir mantıksal formül için ,ϕ(⋅,⋅)ϕ(⋅,⋅)\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) Öte yandan, sağ tarafın sol taraftan daha kısıtlayıcı olduğunu biliyoruz; yani, (∃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) …