Fitch Kalkül Tautologie

Neue Frage »

neol Auf diesen Beitrag antworten »
Fitch Kalkül Tautologie
Liebes Forum

Momentan behandeln wir diverse Fitch Beweise in der Mathematik. Normalerweise fällt mir das nicht sehr schwer, jedoch habe ich meine Mühen wenn es um Tautologien geht. Etwas ohne Prämissen zu zeigen scheint mir schwieriger als es wirklich ist. Folgende Aufgabe:

|- ((P->Q)->P)->P

Ich habe versucht, durch Annahme von "((P->Q)->P)" und danach "P" auf P->Q und somit auf Q zu schliessen. Jedoch sehe ich wirklich keinen Weg den Beweis vernünftig weiter zu führen oder zu beenden.
Hoffe ihr könnt mir einige Denkanstösse geben

N
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »