Prädikatenlogik/Freie Variablen/Verbunden durch konjugierten Ausdruck/Aufgabe

Es sei ein -Ausdruck. Zeige, dass es einen -Ausdruck der Form derart gibt, dass

gilt.