Logik:Klausuren/28.02.2001/A.1 Aufgabe

Aus Tudwiki
Wechseln zu: Navigation, Suche

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\; $.

2. Lösung[Bearbeiten]

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]


zur Klausur 28.02.2001