Moderne Termlogik: Standardsemantik der Termlogik: Semantische Beweise

Moderne Termlogik

Standardsemantik der Termlogik

Semantische Beweise

Die Gültigkeit des Vollständigkeitssatzes erlaubt es, Ableitungen auch auf semantischer Ebene (d.h. in der Sprache der Mengenlehre) zu führen. Allerdings verwendet man semantische Überlegungen am häufigsten, wenn man zeigen will, dass bestimmte Aussagen nicht gelten.

Nehmen wir an, wir wollten zeigen, dass eine bestimmte Ableitung

$\mathrm{\Phi }⊢p$

nicht möglich ist. Äquivalent dazu ist, dass

$\mathrm{\Phi }\models p$

nicht stimmt. Das wiederum bedeutet, dass es eine Interpretation gibt, bei der $\mathrm{\Phi }$ als richtig interpretiert wird, $p$ aber als falsch. Man braucht also nur ein Gegenbeispiel, um zu zeigen, dass $\mathrm{\Phi }\models p$ und damit auch $\mathrm{\Phi }⊢p$ nicht stimmt.

• Beispiel: Wir wollen zeigen, dass aus $\mathrm{\Phi }=\{Aab,Ibc\}$ nicht $p=Aac$ abgeleitet werden kann. Dazu wählen wir die folgende Interpretation: $\Im (a)=\{1\},\Im (b)=\{1,2\},\Im (c)=\{2,3\}$. Man überlegt sich relativ leicht, dass dies ein Modell von $\mathrm{\Phi }$ ist, aber kein Modell von $p$.