Logik:Klausuren/27.02.2004/2.2 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung
Eine prädikatenlogische Formel $ F\, $ heiße dämonisch, wenn sie semantisch äquivalent zu
einer widerlegbaren Formel ist. Beweisen oder widerlegen Sie:
a) Sind $ F\, $ und $ G\, $ prädikatenlogische Formeln und ist $ F \, $dämonisch, dann ist $ (F \rightarrow G) $
erfüllbar.
b) Sind $ F\, $ und $ G\, $ dämonisch, dann ist auch $ \neg (F \wedge G) $dämonisch.