Mathematische Logik/Gemischte Definitionsabfrage/9/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Eine maximal widerspruchsfreie Teilmenge zu einer Menge an Aussagenvariablen.
  2. Die rekursive Definition für die Ausdrücke in einer Sprache erster Stufe.
  3. Die Interpretation der Terme zu einem Symbolalphabet in einer gegebenen -Interpretation auf einer Grundmenge .
  4. Ein atomarer Ausdruck in der Prädikatenlogik.
  5. Eine -berechenbare Funktion
  6. Das modallogische Reflexivitätsaxiom.
Zur Lösung, Alternative Lösung erstellen