Logik:Klausuren/01.02.2002/A.8 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
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
