Kurs:Einführung in die mathematische Logik/15/Klausur/kontrolle


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





Wenn Karl an Susanne denkt, bekommt er feuchte Hände, einen Kloß im Hals und einen roten Kopf. Einen roten Kopf bekommt er genau dann, wenn er an Susanne denkt oder wenn er das leere Tor nicht trifft. Wenn Karl das leere Tor trifft, bekommt er feuchte Hände. Karl bekommt den Ball vor dem leeren Tor. Kurz darauf bekommt er feuchte Hände, einen roten Kopf, aber keinen Kloß im Hals. Hat er an Susanne gedacht? Hat er das leere Tor getroffen?


Erläutere das Beweisprinzip der vollständigen Induktion.


Es sei ein Alphabet mit Symbolen. Wie viele Wörter über der Länge gibt es, wenn man nicht zwischen den Leserichtungen unterscheiden kann?


Es sei . Man gebe ein Beispiel für eine aussagenlogische widersprüchliche Ausdrucksmenge

derart, dass jede echte Teilmenge davon widerspruchsfrei ist.


Es sei eine Menge an Aussagenvariablen und eine maximal widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik. Zeige, dass für jedes entweder oder gilt.


Man erläutere durch Beispiele, dass der Aufbau der Prädikatenlogik nicht immer der mathematischen Intuition entspricht.





Wir betrachten das Symbolalphabet , das neben Variablen aus einem einzigen zweistelligen Relationssymbol besteht, wobei in der abgebildeten Punktemenge das Relationssymbol als „(echt) rechts von“ interpretiert wird. Für zwei Punkte bedeutet also , dass sich rechts von befindet.

  1. Welche(r) Punkt(e) erfüllt(en)
  2. Charakterisiere den Punkt mit einem - Ausdruck in der einen freien Variablen .





Zeige, dass ein gerichteter Graph genau dann symmetrisch ist, wenn für jede Teilmenge die Beziehung

gilt.