Prädikatenkalkül/Konjunktion der Existenz/Aufgabe

a) Zeige

b) Zeige, dass

keine Tautologie

ist.