Einführung in die Logik für Informatiker

Werbung
A
Fachbereich Mathematik
Dr. Mathias Kegelmann
Peter Lietz
Tobias Löw
Florence Micol
TECHNISCHE
UNIVERSITÄT
DARMSTADT
Sommersemester 2003
23. Juni 2003
Einführung in die Logik für Informatiker
Achtes Übungsblatt
Präsenzübungen
(P 22) Axiomatisierbarkeit
Sei Σ eine Signatur und C eine Klasse von Σ-Modellen. Eine Axiomatisierung von C ist eine Menge
T geschlossener Formeln derart, dass für jedes Σ-Modell M gilt M ∈ C genau dann, wenn für alle
T ∈ T gilt M T . Sei Σ die leere Signatur. Demnach sind Σ-Modelle einfache Mengen.
(a) Gib eine Axiomatisierung der Klasse der dreielementigen Mengen an.
(b) Gibt es eine Axiomatisierung der Klasse der endlichen Mengen?
(P 23) Nicht-Axiomatisierbarkeit termerzeugter Modelle
Ein termerzeugtes Modell einer Signatur ist ein Modell, das von der leeren Menge erzeugt wird.
Der Begriff termerzeugt“ rührt daher, dass ein Modell von der leeren Menge erzeugt wird genau
”
dann, wenn jedes seiner Elemente die Interpretation eines geschlossenen Terms ist (dies folgt aus
Aufgabe (P 47) aus der Allgemeinen Algebra indem man für A die Algebra TΣ (∅) einsetzt).
Zeige, dass zu jedem unendlichen, termerzeugten Σ-Modell M eine nicht termerzeugte Struktur existiert, in der exakt die gleichen geschlossenen Formeln der Prädikatenlogik gelten. Gehe
folgendermaßen vor:
Sei T die Menge der geschlossenen Formeln, die in M gelten. Erweitere die Signatur Σ = (Ω, R, α)
um eine Konstante c 6∈ Ω. Sei T 0 = T ∪ {c 6= t | t ∈ TΣ (∅)}.
a) Zeige, daß T 0 ein Modell M0 hat, indem Du zeigst, daß jede endliche Teilmenge von T 0 ein
Modell hat.
b) Zeige, daß M0 (aufgefasst als Σ-Modell) nicht termerzeugt ist.
c) Zeige, daß in M dieselben geschlossenen Formeln (bzgl. Σ) gelten wie in M0 .
(P 24) Abelsche Gruppen
Axiomatisiere die abelschen Gruppen (mit endlich vielen Axiomen).
Wir wollen in den restlichen Aufgaben dieser Übung mithilfe des Kompaktheitssatzes Aussagen über die Axiomatisierbarkeit bestimmter Klassen abelscher Gruppen treffen. Wir benötigen
zunächst einige einfache Begriffe.
Definition. Sei (A, +, −, 0) eine abelsche Gruppe.
• Die Ordnung eines Elementes a ∈ A ist definiert als die kleinste Zahl n ∈ N+ so daß
a
· · + a} = 0 .
| + ·{z
n mal
Existiert keine solche Zahl, so sagt man, das Element a hat unendliche Ordnung. Alternativ
kann man die Ordnung eines Gruppenelements definieren als die Mächtigkeit der von ihm
erzeugten Untergruppe. Daraus folgt insbesondere, daß die Ordnung eines Elements einer
endlichen Gruppe die Mächtigkeit der Gruppe teilt.
Ist n ∈ N und a ∈ A, so schreiben wir auch na anstelle von a
· · + a}.
| + ·{z
n mal
• Die Gruppe A heißt Torsionsgruppe wenn jedes Element von endlicher Ordnung ist.
• Die Gruppe A heißt torsionsfrei wenn jedes Element außer 0 von unendlicher Ordnung ist.
Die Klassen der abelschen Torsionsgruppen und torsionsfreien abelschen Gruppen bezeichnet man
mit TA und TFA, respektive.
(P 25) Nicht-Axiomatisierbarkeit von TA
Zeige, daß die Klasse der abelschen Torsionsgruppen nicht axiomatisierbar ist. Betrachte zu diesem Zweck folgendes Argument:
Sei T eine Menge geschlossener Formeln, die in allen abelschen Torsionsgruppen gelten. Wir
erweitern die Signatur der Gruppentheorie um eine neue Konstante c. Sei T 0 = T ∪ {c 6= 0, 2c 6=
0, 3c 6= 0, . . . }.
a) Zeige, daß T 0 ein Modell M hat, indem Du zeigst, daß jede endliche Teilmenge von T 0 ein
Modell hat.
b) Zeige, daß M nicht in TA ist.
c) Folgere, daß TA nicht axiomatisierbar ist.
Hausübungen
Abgabe in den Übungen am 30. Juni 2003
(H 24) Kompaktheitssatz
Beweise folgendes Korollar des Kompaktheitssatzes: Sei T eine Menge geschlossener Formeln und
sei A eine geschlossene Formel. Wenn T A gilt, so gibt es eine endliche Teilmenge T0 ⊆ T mit
der Eigenschaft T0 A.
Hinweis: Wende den Kompaktheitssatz auf die Menge T ∪ {¬A} an.
(H 25) Nicht-Existenz einer endlichen Axiomatisierung von TFA
Axiomatisiere die Klasse TFA der torsionsfreien abelschen Gruppen.
Mithilfe von (H 24) werden wir nun zeigen, daß zu jedem Satz A, der in allen Gruppen aus
TFA gilt, auch eine nicht torsionsfreie abelsche Gruppe existiert, in der A gilt. Wähle zu diesem
Zweck als Menge T Deine Axiomatisierung von TFA und konstruiere zu jeder beliebigen endlichen
Teilmenge T0 von T eine abelsche Gruppe, in der T0 gilt und die nicht torsionsfrei ist.
Folgere, dass die Klasse TFA nicht endlich axiomatisierbar ist.
(Hinweis: Eine Klasse von Strukturen, die endlich axiomatisierbar ist, ist sogar durch einen einzigen Satz axiomatisierbar.)
F (H 26)
a) Zeige, daß die Gruppe (Q/Z, +, −, 0) eine Torsionsgruppe ist (dabei ist Q/Z = Q/∼ , wobei
p ∼ q ⇔ |p − q| ∈ Z).
b) Zeige mit einer an die Lösung von (P 23) angelehnten Methode, daß eine NichtTorsionsgruppe existiert, in der die gleichen geschlossenen Formeln der Prädikatenlogik gelten
wie in Q/Z.
Dies ist eine Verschärfung der in (P 25) bewiesenen Aussage.
Herunterladen