Mathematische Logik/Gemischte Definitionsabfrage/11/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die Ableitbarkeit eines Aussage aus einer Aussagenmenge in der Sprache der Aussagenlogik zu einer Aussagevariablenmenge .
  2. Eine Ordnungsrelation auf einer Menge .
  3. Die Erfüllbarkeit eines -Ausdruckes , wobei ein Symbolalphabet bezeichnet.
  4. Die elementare Äquivalenz für Elemente für eine -Struktur .
  5. Die aufzählbare Axiomatisierbarkeit einer Theorie zu einem Symbolalphabet .
  6. Die Gültigkeit eines modallogischen Ausdrucks in einem modallogischen Rahmen .
Zur Lösung, Alternative Lösung erstellen