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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. Es seien und Dedekind-Peano-Modelle für die natürlichen Zahlen. Dann gibt es eine eindeutig bestimmte bijektive Abbildung

    mit und

    für alle .
  2. Es sei ein Symbolalphabet erster Stufe und eine Teilmenge. Es sei ein -Term und ein -Ausdruck. Es seien zwei -Interpretationen und in einer gemeinsamen Grundmenge gegeben, die auf identisch seien. Dann gelten folgende Aussagen.
    1. Es ist .
    2. Es ist genau dann, wenn .
  3. Es sei eine Menge von modallogischen Ausdrücken und ein modallogischer Ausdruck. Dann ist

    genau dann, wenn

Zur gelösten Aufgabe