A3Q3 - any help will be appreciated

[Hao Chen]

Can anyone give just a little hint on this question? or just say like
how long the solution will be or will there be some crazy nested axioms
in the proof?
Any help will be appreciated!

[Curtis Bright]

Probably using the Deduction Theorem will make the question easier. The
question doesn't ask for the explicit formal proof, so just showing that
a formal proof exists should suffice.

Curtis

Post by Hao Chen
Can anyone give just a little hint on this question? or just say like
how long the solution will be or will there be some crazy nested axioms
in the proof?
Any help will be appreciated!