Roland Meyer SoSe 2013

Logische Äquivalenz (Fort.)
Lemma 1.17
Folgende Aussagen sind äquivalent:
|= A ↔ B A |==|B
A |= B und B |= A
Folg(A) = Folg(B)
Lemma 1.18
Zu jeder Formel A ∈ F gibt es B,C,D ∈ F mit
1 A |==|B, B enthält nur → und ¬ als Verknüpfungen
2 A |==|C, C enthält nur ∧ und ¬ als Verknüpfungen
3 A |==|D, D enthält nur ∨ und ¬ als Verknüpfungen
Folgt aus obigen Äquivalenzen.
Roland Meyer (TU Kaiserslautern) Logik SoSe 2013 34 / 189