Universelles modallogisches Modell/Eine Aussagenvariable/Unendlich/Aufgabe

Zeige, dass das universelle modallogische Modell

zu einer einzigen Aussagenvariable ${}p$ bereits unendlich ist.

Eine Lösung erstellen