Logik:Klausuren/01.02.2002/A.5 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
Seien $ p, q, r\; $ aussagenlogische Variable. Beweisen Sie mit Hilfe des Resolutionsverfahrens die Allgemeingültigkeit der Formel $ F = ((((p \and q) \rightarrow r) \and \neg r) \rightarrow (p \rightarrow (q \rightarrow r)))\; $
