Atomare Tautologie/Zeichenkettengleichheit/Aufgabe
Es sei ein atomarer Ausdruck, der zugleich eine Tautologie ist, also . Zeige, dass gleich mit einem -Term ist.
Es sei ein
atomarer Ausdruck,
der zugleich eine Tautologie ist, also
. Zeige, dass
gleich
mit einem
-Term
ist.