Aussagenlogik/Endlichkeitssatz für Folgerung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Beweise den Endlichkeitssatz für die Aussagenlogik: Wenn die Aussage aus der Aussagenmenge folgt,

dann gibt es eine endliche Teilmenge , aus der diese Aussage folgt.
Eine Lösung erstellen