Logik:Klausuren/28.02.2001/A.6 Aufgabe

1. Aufgabenstellung

Seien $ p, q, r\; $ und $ s\; $ aussagenlogische Variable und $ \mathcal{F} = \{(\neg p \or (q \and r)), (\neg s \rightarrow \neg (r \or \neg p)), (\neg p \or q)\} \; $ eine Menge aussagenlogischer Formeln.

a) Ermitteln Sie die konjunktive Normalform von $ \mathcal{F}\; $ .

b) Zeigen Sie mit einem Resolutionsbeweis, dass s eine logische Konsequenz aus $ \mathcal{F}\; $ ist.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 28.02.2001