Aussagenlogik/Ableitungskalkül/Endlichkeit/Aufgabe
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.Es sei
eine Ausdrucksmenge in der
Sprache der Aussagenlogik
zu einer
Aussagenvariablenmenge
und
. Es gelte
. Zeige, dass es dann auch eine endliche Teilmenge