Marinada '25

[lang=hr] U nekim zadacima jednostavno treba pretpodataviti dali $p$ vrijedi ili ne. Tako da u sljedečem primjeru kao $1$ je več postavljena tvrdnja da $p$ vrijedi, kada dokažete tu tvrdnju $1$ će postat pretpostavka $\lnot p$ i ostat će ponovno dokazat tvrdnju. Dokažite $$((p \to q) \to p) \to p$$ [/lang] [lang=en] In some proofs you simply need to assume whether $p$ holds or not. So, in the following example, the statement “$p$ holds” is already asserted as $1$. When you prove that assertion, $1$ becomes the assumption $\lnot p$, and you will have to prove the statement again. Prove $$ ((p \to q) \to p) \to p .$$ [/lang]