Logik:Klausuren/27.02.2004/2.3 Aufgabe: Unterschied zwischen den Versionen

Aktuelle Version vom 22. November 2004, 17:12 Uhr

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.

2. Lösung[Bearbeiten]

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]

zur Klausur 27.02.2004