Aussagenlogik/Endlichkeitssatz für Folgerung/Aufgabe
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.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.