Logik:Klausuren/28.02.2001/A.1 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
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\; $.
