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