Modallogik/Endlichkeitssatz/Aufgabe
Erscheinungsbild
Es sei eine modallogische Ausdrucksmenge und ein modallogischer Ausdruck. Es sei . Zeige, dass es eine endliche Teilmenge mit gibt.
Es sei eine modallogische Ausdrucksmenge und
ein modallogischer Ausdruck. Es sei
. Zeige, dass es eine endliche Teilmenge
mit
gibt.