Zum Inhalt springen

Alläquivalenz/Nicht intern/Aufgabe

Aus Wikiversity

Es sei ein Ausdruck in einer Sprache erster Stufe. Zeige, dass

keine Tautologie ist.