Logik:Klausuren/28.02.2003/2.5 Aufgabe

Aus Tudwiki

Version vom 20. November 2004, 17:10 Uhr von Anubis (Diskussion | Beiträge)

(Unterschied) Nächstältere Version→ | Aktuelle Version (Unterschied) | ←Nächstjüngere Version (Unterschied)

Wechseln zu: Navigation, Suche

Inhaltsverzeichnis

1 1. Aufgabenstellung
2 2. Lösung
3 3. Lösungsweg
4 4. Alternativen/Diskussion/Hinweise etc.

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.

2. Lösung[Bearbeiten]

3. Lösungsweg[Bearbeiten]

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

zur Klausur 28.02.2003

Von „https://tudwiki.hicknhack.org/index.php?title=Logik:Klausuren/28.02.2003/2.5_Aufgabe&oldid=3733“