Logik:Klausuren/27.02.2004/2.4 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
Anubis (Diskussion | Beiträge) (→1. Aufgabenstellung) |
(kein Unterschied)
|
Aktuelle Version vom 22. November 2004, 16:16 Uhr
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
Beweisen Sie im Kalkül des natürlichen Schließens, dass
$ (((\exists X)p(X) \rightarrow ((\exists Y )q(Y ) \rightarrow c)) \rightarrow ((\exists Z)(p(Z) \wedge q(Z)) \rightarrow c)) $
eine Tautologie ist. Alle Lemmata, die auf den Übungsblättern des letzten Studienjahres
oder im Lehrbuch angegeben wurden, dürfen verwendet werden.
