Aussagenlogik/Ableitungskalkül/Ausdrucksmengen/Beispiel/1/Aufgabe

Es sei und . Zeige