Mathematische Logik/Gemischte Satzabfrage/Erster Teil/2/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. Sei ein Peano-Halbring und . Dann gibt es zu jedem eindeutig bestimmte mit , , und mit
  3. Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck. Dann gilt genau dann, wenn es eine endliche Teilmenge gibt mit .
Zur gelösten Aufgabe