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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. /Fakt
  2. Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck. Dann gilt genau dann, wenn es eine endliche Teilmenge gibt mit .
  3. /Fakt
Zur gelösten Aufgabe