Durch die Schreibweise ϕ(x1, . . . , xk) drücken wir im Folgenden aus, dass in der Formel ϕ höchstens die Variablen
x1, . . . , xk frei vorkommen. Zeigen Sie oder widerlegen Sie durch ein Gegenbeispiel: Es gilt ∀x∃yϕ(x, y) ≡ ∃y∀xϕ(x, y)
(a) für jede Formel der Form ϕ(x, y) = ϕ1(x) ∧ ϕ2( y),
(b) für jede Formel der Form ϕ(x, y) = (ϕ1(x) ∨ ϕ2( y)) ∧ (ψ1(x) ∨ ψ2( y)).
