Logik:Klausuren/28.02.2003/2.6 Aufgabe

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

(Unterschied) Nächstältere Version→ | Aktuelle Version (Unterschied) | ←Nächstjüngere Version (Unterschied)
Wechseln zu: Navigation, Suche

1. Aufgabenstellung

Seien p und r einstellige Prädikatssymbole. Beweisen Sie mit dem Kalkül des natürlichen Schließens, die Allgemeingültigkeit der Formel

$ ((\forall X)(\forall Y )(p(Y ) \rightarrow r(X)) \rightarrow (\neg (\exists Y )p(Y ) \vee (\forall X)r(X))). $

2. Lösung

3. Lösungsweg

4. Alternativen/Diskussion/Hinweise etc.

zur Klausur 28.02.2003

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