Einführung in die Logik

Werbung
@
TECHNISCHE UNIVERSITÄT CAROLO-WILHELMINA ZU BRAUNSCHWEIG
Institut für Theoretische Informatik
Prof. Dr. J. Adámek
Braunschweig, 01. Juli 2011
Einführung in die Logik
Aufgabenblatt Nr. 13
Website: www.tu-braunschweig.de/iti/teaching/ss2011/logik
Aufgabe 1 [10 Punkte]
Finden Sie eine Formel F für die
∀x : ∃x : F ⇔ ∃x : ∀x : F
allgemein gültig ist. Und eine Formel F , für die es nicht allgemein gültig ist.
Aufgabe 2 [16 Punkte]
Beweisen Sie oder widerlegen Sie:
(a) [8 Punkte]
∀x : (F ⇒ G) ≡ ∀x : F ⇒ ∀x : G
(b) [8 Punkte]
∀x : F ⇒ G ≡ ∀x : F → ∀x : G
Aufgabe 3 [12 Punkte]
Betrachten Sie die Signatur mit den Funktionssymbolen e, f0 , f1 mit Stelligkeiten 0, 1, 1 und mit dem
Relationssymbol P mit Stelligkeit 2. Für diese Signatur sei die folgende Struktur (A, eA , f0A , f1A , P A )
gegeben: die Trägermenge A = {0, 1}∗ besteht aus allen Binärwörtern, eA = ε ist das leere Wort, f0A (w) =
w0 und f1A (w) = w1 hängen an ein gegebenes Binärwort eine 0 bzw. eine 1 an und P A (v, w) bedeutet v
ist ein Präfix von w.
(a) [4 Punkte] Ist die Formel ∀w : ∃v : ∀u : ((P (w, v) ∧ u = x) ∧ P (v, w)) in dieser Struktur gültig?
Begründen Sie Ihre Antwort.
(b) [4 Punkte] Ist die Formel ∀x : (¬(x = e) ⇒ ∃y : (x = f0 (y) ∨ x = f1 (y))) in dieser Struktur gültig?
Beschreiben Sie in Worten, was sie aussagt.
(c) [4 Punkte] Geben Sie eine Formel mit der freien Variablen x an, die in der gegebenen Struktur
genau für die Belegungen α wahr ist, für die α(x) mit 00 endet.
Herunterladen