Aussagenlogik/Ableitungskalkül/Endlichkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge und . Es gelte . Zeige, dass es dann auch eine endliche Teilmenge

mit gibt.
Eine Lösung erstellen