Fitch Kalkül Tautologie |
17.03.2015, 21:38 | neol | Auf diesen Beitrag antworten » |
Fitch Kalkül Tautologie 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 |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
|
Die Neuesten » |
|