KNS: Formaler Beweis

09.11.2013, 15:02	DerFernstudent	Auf diesen Beitrag antworten »
KNS: Formaler Beweis Meine Frage: Hallo Zusammen, ich habe einige Probleme das Kalkül des natürlichen Schließens zu verstehen und bitte um eure Hilfe. Konkret hänge ich gerade an der folgenden Aufgabe: $\begin{eqnarray} \left\{ p \Rightarrow \left(q \Rightarrow r\right), p \wedge -r\right\} \Rightarrow q \end{eqnarray}$ Diese darf ich nur über das KNS lösen und nicht über Äquivalenzumformungen. Schonmal vorneweg ein Sorry für die Unglückliche Darstellung aber ich habe in Latex kein Symbol für "ist ableitbar aus F" gefunden (in meinem Lernheft ist es das Symbol \|-) Meine Ideen: Mein bisheriger Ansatz: $\begin{eqnarray} <br /> \left\{ p \Rightarrow \left(q \Rightarrow r\right), p \wedge -r\right\} \Rightarrow q<br /> <br /> F \|- \left(p \wedge -r \right) \Rightarrow p (Vereinfachung)<br /> F \|- \left(p \wedge -r \right) \Rightarrow -r (Vereinfachung)<br /> F \|- (p\Rightarrow (q\Rightarrow r)), F \|- p) \Rightarrow (q\Rightarrow r) (Modus Ponses) \end{eqnarray}$ Allerdings komme ich nicht weiter und weiß nicht wie ich jetzt auf q schließen kann. Kann mir jemand bitte einen Denkanstoß geben? Vielen Dank schonmal vorweg für eure kompetenten Antworten :-) Viele Grüße, DerFernstudent

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »