Logik:Klausuren/28.02.2001/A.1 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
Ng2 (Diskussion | Beiträge) |
(kein Unterschied)
|
Aktuelle Version vom 7. Dezember 2004, 19:23 Uhr
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\; $.
