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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. Es sei eine abzählbare Menge an Aussagenvariablen und eine widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik. Dann kann man durch sukzessive Hinzunahme von entweder oder und durch Abschluss unter der Ableitungsbeziehung zu einer maximal widerspruchsfreien Teilmenge ergänzen.
  2. Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck. Dann gilt genau dann, wenn gilt.
  3. /Fakt
Zur gelösten Aufgabe