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