Logik:Klausuren/01.02.2002/A.6 Aufgabe

Aus Tudwiki
Wechseln zu: Navigation, Suche

1. Aufgabenstellung[Bearbeiten]

Seien $ p, q, r\; $ aussagenlogische Variable. Beweisen Sie mit Hilfe des Kalküls des natürlichen Schließ�ens die Allgemeingültigkeit der Formel $ F = ((p \rightarrow q) \rightarrow ((r \rightarrow p) \rightarrow (r \rightarrow q)))\; $ Verwenden Sie dazu nur die im ursprünglichen Kalkül vorkommenden Regeln.

2. Lösung[Bearbeiten]

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]


zur Klausur 01.02.2002
Aufgaben-Kategorie Al - Kalkül des natürlichen Schließens