SS 2014 23. April 2014 Übungen zur Vorlesung Logik Blatt 1 Jun.-Prof. Dr. Roland Meyer Abgabe bis 2. Mai 2014 12:00 Uhr
Volltext
ÄHNLICHE DOKUMENTE
Jun.-Prof. Roland Meyer Abgabe bis 11. Schlie- ßen Sie aus a) und b), dass es eine Struktur gibt, die elementar äquivalent, aber nicht isomorph ist zu N. Zeigen Sie unter Verwendung
a) Wenn T vollständig ist, dann sind je zwei Modelle von T elementar äquivalent.. b) Wenn je zwei Modelle von T elementar äquivalent sind, dann ist
Ein Wurzelbaum ist ein Baum, in dem ein Knoten als Wurzel ausgewählt ist und die Kanten so gerichtet sind, dass ihr Ursprungsknoten näher an der Wurzel liegt als ihr Zielknoten.
a) Geben Sie ein möglichst schnelles Verfahren an, das für eine gegebene Formel in DNF entscheidet, ob sie erfüllbar ist oder nicht... b) In Präsenzaufgabe 1.3 haben Sie gesehen,
Das Ballspiel nach Smullyan wird von einer Person gespielt und verläuft nach fol- genden Regeln: Es steht ein Behältnis zur Verfügung, das unbegrenzt viele Bälle fassen kann..
Beweisen Sie mittels struktureller Induktion, dass jede Formel eine äquivalente For- mel in
Jun.-Prof. Roland Meyer Abgabe bis 5. Schlie- ßen Sie aus a) und b), dass es eine Struktur gibt, die elementar äquivalent, aber nicht isomorph ist zu N .. Aufgabe 6.2 [Erfüllbarkeit
a) Geben Sie ein möglichst schnelles Verfahren an, das für eine gegebene Formel in DNF entscheidet, ob sie erfüllbar ist oder nicht... b) In Präsenzaufgabe 1.3 haben Sie gesehen,