Logik:Klausuren/28.02.2003/2.5 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
Anubis (Diskussion | Beiträge) (→1. Aufgabenstellung) |
(kein Unterschied)
|
Aktuelle Version vom 20. November 2004, 17:10 Uhr
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
Beweisen Sie mit dem Resolutionsverfahren, dass die prädikatenlogische Formel
$ (\exists Z)(\exists X)(\forall Y )(\neg q(Z) \vee \neg(p(Y ) \wedge (\neg p(X) \vee \neg q(X)))) $
eine Tautologie ist.
