Logik:Klausuren/28.02.2001/A.1 Aufgabe

1. Aufgabenstellung

Seien $ F\; $ und $ G\; $ aussagenlogische Formeln und seien $ \mathcal{S}\; $ und $ \mathcal{S}^*\; $Mengen aussagenlogischer Formeln. Beweisen Sie semantisch die folgenden Aussagen:

a) Wenn $ F \in \mathcal{S}\; $ und $ \neg F \in \mathcal{S}\; $, dann gilt $ \mathcal{S} \models_a G\; $ für beliebige $ G\; $.

b) Wenn $ \mathcal{S} \models_a G\; $ und $ \mathcal{S} \subseteq \mathcal{S}^*\; $ dann gilt $ \mathcal{S}^* \models_a G\; $.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 28.02.2001