Kurs:Einführung in die mathematische Logik/20/Klausur

Aus Wikiversity
Wechseln zu: Navigation, Suche


Aufgabe 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
Punkte 3 3 2 2 3 6 0 0 0 0 0 0 0 0 0 0 0 19



Aufgabe * (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die Sprache der Aussagenlogik zu einer Aussagenvariablenmenge .
  2. Ein maximales Ideal in einem kommutativen Ring .
  3. Die Uminterpretation zu einer -Interpretation in einer Menge , wobei eine Variable und ein Element der Grundmenge ist.
  4. Ein Nichtstandardmodell zu einem fixierten -Modell .
  5. Eine arithmetisch repräsentierbare Relation .
  6. Die Gültigkeit eines modallogischen Ausdrucks .


Aufgabe * (3 Punkte)

Formuliere die folgenden Sätze.

  1. /Fakt/Name
  2. /Fakt/Name
  3. /Fakt/Name


Aufgabe * (2 Punkte)

Betrachte die beiden Aussagen „Alkohol ist keine Lösung“ und „Kein Alkohol ist auch keine Lösung“. Formalisiere die beiden Aussagen. Nehme an, dass beide Aussagen wahr sind. Mit welcher aussagenlogischen Regel kann man daraus auf eine Aussage schließen, in der Alkohol nicht vorkommt?


Aufgabe * (2 Punkte)

Finde einen möglichst einfachen aussagenlogischen Ausdruck, der die folgende tabellarisch dargestellte Wahrheitsfunktion ergibt.

w w w w
w w f f
w f w f
w f f f
f w w f
f w f f
f f w f
f f f w


Aufgabe (3 Punkte)

Skizziere ein Verfahren, wie man (bei abzählbar) eine Auflistung sämtlicher syntaktischer Tautologien aus erhalten kann.


Aufgabe * (6 Punkte)

Es sei eine aussagenlogische Ausdrucksmenge und es sei mit . Zeige mit dem Lemma von Zorn, dass es eine maximal widerspruchsfreie Ausdrucksmenge mit gibt.


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)


Aufgabe (0 Punkte)