5
क्वांट्टी के आदेश को उलटने के लिए तकनीक। Ers
यह सर्वविदित है कि सामान्य रूप से, सार्वभौमिक और अस्तित्वगत मात्रात्मक के क्रम को उलट नहीं किया जा सकता है। दूसरे शब्दों में, एक सामान्य तार्किक सूत्र ,ϕ(⋅,⋅)ϕ(⋅,⋅)\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) दूसरी ओर, हम जानते हैं कि दाएँ-बाएँ पक्ष बाएँ-हाथ की तुलना …