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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

gilt.