Logik:Klausuren/27.02.2004/2.2 Aufgabe

Aus Tudwiki
Wechseln zu: Navigation, Suche

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.

2. Lösung

3. Lösungsweg

4. Alternativen/Diskussion/Hinweise etc.


zur Klausur 27.02.2004