Logik:Klausuren/27.02.2004/2.3 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
Anubis (Diskussion | Beiträge) (→1. Aufgabenstellung) |
(kein Unterschied)
|
Aktuelle Version vom 22. November 2004, 16:12 Uhr
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
Beweisen Sie mit dem Resolutionsverfahren, dass die Formel
$ ((\forall X)(p(X) \rightarrow q(X)) \rightarrow ((\exists X)(q(X) \rightarrow r(X)) \rightarrow (\exists X)(p(X) \rightarrow r(X)))) $
allgemeingültig ist.
