0
$\begingroup$

I am given the hint in the question that I will need to use the axiom $(((s\Rightarrow \bot)\Rightarrow \bot)\Rightarrow s)$.

The axioms I am using are $$(s\Rightarrow (t \Rightarrow s)) \\((s\Rightarrow(t\Rightarrow u))\Rightarrow((s\Rightarrow t)\Rightarrow(s\Rightarrow u)) \\ (((s\Rightarrow \bot)\Rightarrow \bot)\Rightarrow s)$$

In a proof every step is either an axiom or deduced by modus ponens.

  • 1
    What proof system and what axioms are you using?2012-10-19
  • 0
    I don't know what system it is called. I have three axioms called K, S, and T and each line of a proof is either a hypothesis, an axiom, or something deduced by modus ponens. Can you see what system this is?@ChrisEagle2012-10-19
  • 0
    I could see it better if you *actually gave the axioms*. Also, you should be editing this into the question, not leaving it in the comments.2012-10-19
  • 0
    I presume this is homework?2012-10-19
  • 0
    @copper.hat it is part of "left to the reader to prove" in my lecture notes.2012-10-19
  • 0
    @ChrisEagle I have added my axioms.2012-10-19

1 Answers 1

1

Using your first two axioms you can prove the deduction theorem. So to prove $\vdash \bot \Rightarrow q$, it's enough to prove $\bot \vdash q$. The hint suggests using the third axiom. With that, you can show that $((q \Rightarrow \bot)\Rightarrow \bot)\vdash q$. So you're done if you can prove $\bot \vdash ((q \Rightarrow \bot)\Rightarrow \bot)$. Can you see how to do this?