Logik:Klausuren/20.02.2002/B.6 Aufgabe

1. Aufgabenstellung

Seien $ F\ $ und $ G\ $ aussagenlogische Formeln und sei $ \mathcal {F} = \left\{F_1,...,F_n \right\} $ eine Menge aussagen- logischer Formeln. Gilt die folgende Aussage? Wenn $ \mathcal {F} \models_a F $ , dann gilt $ \mathcal{F} \cup \left\{G \right\} \models_a F $ für beliebige $ G\ . $

$ ja \ \ \Box \qquad \qquad nein \ \ \Box $

Beweisen Sie Ihre Antwort.

2. Lösung

Ja.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 20.02.2002