Marinada '25

[lang=hr] Dokažite sljedeče $$(p \to q) \to (\lnot q \to \lnot p).$$ [/lang] [lang=en] Prove the following $$(p \to q) \to (\lnot q \to \lnot p).$$ [/lang]