Past exam of the logic and set theory course of the University of Oxford / 2008 / A / 2 / d / Solution

There is a three-line Hilbert formal proof. Use A1 with $\alpha =\chi$, $\beta =\psi$; then use A3 with $\alpha =\chi$, $\beta =(\psi \to \chi )$:This is a direct logical derivation in the displayed Hilbert proof system. Neither the deduction theorem for propositional logic nor a completeness theorem for propositional logic is needed: the desired logical implication is just the contrapositive, supplied by A3, of the particular A1 instance on line 1.