Logik:Klausuren/01.02.2002/A.8 Aufgabe

Aus Tudwiki
Wechseln zu: Navigation, Suche

1. Aufgabenstellung

Sei $ F\; $ eine aussagenlogische Formel und $ \mathcal{F} = \{F_1,..., F_n\}\; $ eine Menge aussagenlogischer Formeln. Beweisen Sie:

a) Falls $ \mathcal{F} \models_a F\; $ und falls $ F_i\; $ für ein $ i \in \{1,...,n\}\; $ allgemeingültig ist, dann gilt $ \mathcal{F} \setminus \{F_i\} \models_a F\; $ .


b) Falls $ F_i\; $ unerfüllbar für ein $ i \in \{1,...,n\}\; $ ist, dann gilt$ \mathcal{F} \models_a F\; $.

2. Lösung

3. Lösungsweg

4. Alternativen/Diskussion/Hinweise etc.


zur Klausur 01.02.2002
Aufgaben-Kategorie AL - Interpretationen und Modelle