Hjälp med logisk härledning

Behöver hjälp med att göra en satslogisk härledning av P ur premisserna (P --> Q) --> P. Har hittills kommit så här långt: (gör någon sorts provisorisk lösning på en fitch-linje och de logiska tecknen)

|(P --> Q) --> P
|--
| |P
| |--
| |.
| |?
| |.
| |Q
|P --> Q
|P

alternativt

|(P --> Q) --> P
|--
| |–P
| |--
| |.
| |?
| |.
| |[falsum]
|––P
|P

Tror att jag är på rätt spår, men det är biten mellan P till Q eller –P till falsum som jag inte lyckas lösa. Är ju basal logik (knappt ens logik) så jag tänker att jag egentligen borde kunna lista ut det, men men.

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

räcker inte detta?

Det fungerar ju tyvärr inte att gå ut ur ett underbevis på det sättet, måste ju antingen använda ->Intro eller negationsintro.

A du har nog rätt, var länge sedan jag sysslade med detta och har dessutom inte ens fitch installerat längre

Jag känner inte igen denna notation. Jag lärde mig logik för länge sedan via Suppes, men detta ser helt främmande ut. Finns källa?