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

Es sei $\alpha$ ein $S$-Ausdruck. Zeige, dass es einen $S$-Ausdruck $\beta$ der Form $\beta =\alpha \wedge \gamma$ derart gibt, dass

${\mathrm{Frei}}_{}^{}\left(\beta \right)={\mathrm{Var}}_{}^{}\left(\alpha \right)={\mathrm{Var}}_{}^{}\left(\beta \right)$

gilt.

Eine Lösung erstellen