Logik:Klausuren/28.02.2003/2.6 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
Anubis (Diskussion | Beiträge) (→1. Aufgabenstellung) |
(kein Unterschied)
|
Aktuelle Version vom 20. November 2004, 18:14 Uhr
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
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))). $
