Alläquivalenz/Nicht intern/Aufgabe

Es sei ${}\alpha$ ein Ausdruck in einer Sprache ${}L^{S}$ erster Stufe. Zeige, dass

$\alpha \leftrightarrow \forall x\alpha$

keine Tautologie ist.

Eine Lösung erstellen