Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Semantik der Prädikatenlogik erster Stufe (Fort.)<br />
Definition 4.14 (Logische Äquivalenz)<br />
Formeln A,B ∈ FO(S) heißen logisch äquivalent, in Zeichen A |==|B, falls<br />
für alle Strukturen M und alle Belegungen σ gilt:<br />
Lemma 4.15<br />
M[[A]](σ) = M[[B]](σ).<br />
Logische Äquivalenz ist eine Kongruenz: ersetzt man in einer Formel<br />
A ∈ FO(S) eine Teilformel B durch C |==|B, dann erhält man A ′ |==|A.<br />
<strong>Roland</strong> <strong>Meyer</strong> (TU Kaiserslautern) Logik <strong>SoSe</strong> <strong>2013</strong> 122 / 189
Change language