Logik:Klausuren/07.02.2004/1.1 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung
Beweisen Sie im Kalkül des natürlichen Schließens, dass
$ ((p\rightarrow (q\rightarrow (\neg r))\rightarrow (r\rightarrow \neg (p\and q))) $
eine Tautologie ist.
2. Lösung
$ \neg ((p \rightarrow (q \rightarrow \neg r)) \rightarrow (r \rightarrow \neg (p \and q))) $
$ ((p\rightarrow (q\rightarrow (\neg r))\rightarrow (r\rightarrow \neg (p\and q))) $ |
Annahme
|
3. Lösungsweg
4. Alternativen/Diskussion/Hinweise etc.
zur Klausur 07.02.2004
Aufgaben-Kategorie Al - Kalkül des natürlichen Schließens