Logik:Klausuren/28.02.2001/A.3 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
Ng2 (Diskussion | Beiträge) |
(kein Unterschied)
|
Aktuelle Version vom 7. Dezember 2004, 20:31 Uhr
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
Seien $ p, q\; $ und $ r\; $ aussagenlogische Variable. Beweisen Sie im Kalkül des natürlichen Schliessens, dass die Formel $ ((\neg r \or (p \and q)) \rightarrow ((r \rightarrow p) \and (r \rightarrow q)))\; $ eine Tautologie ist.
