5
Techniken zum Umkehren der Reihenfolge von Quantifizierern
Es ist allgemein bekannt, dass die Reihenfolge der universellen und existentiellen Quantifizierer nicht umgekehrt werden kann. Mit anderen Worten, für ein allgemeines logisches Formel ,ϕ(⋅,⋅)ϕ(⋅,⋅)\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) Andererseits wissen wir, dass die rechte Seite restriktiver ist als die linke Seite; das …