Mathematische Logik/Gemischte Satzabfrage/7/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. Sei eine geordnete Menge mit der Eigenschaft, dass jede total geordnete Teilmenge eine obere Schranke in besitzt. Dann gibt es in maximale Elemente.
  2. Es sei eine Menge an Aussagenvariablen und eine Teilmenge der zugehörigen Sprache der Aussagenlogik. Es sei . Dann ist
  3. Es sei eine Menge mit einem fixierten Element und einer Abbildung . Dann gibt es genau eine Abbildung

    die die beiden Eigenschaften

    erfüllt.
Zur gelösten Aufgabe