Aussagenlogik/Endlichkeitssatz für Folgerung/Aufgabe

Beweise den Endlichkeitssatz für die Aussagenlogik: Wenn die Aussage ${}\alpha$ aus der Aussagenmenge ${}\Gamma \subseteq L^{V}$ folgt, dann gibt es eine endliche Teilmenge ${}\Gamma _{0}\subseteq \Gamma$, aus der diese Aussage folgt.

Eine Lösung erstellen