- #1
twoflower
- 368
- 0
Hello all,
first I hope there's no problem putting this question here, since I didn't find any special forum dedicated to propositional logic.
I really have very basic question, I'm trying to prove
[tex]
\vdash (A \rightarrow (B \rightarrow C)) \rightarrow (B \rightarrow (A \rightarrow C))
[/tex]
I tried using instanciation second axiom, ie.
[tex]
\vdash (A \rightarrow (B \rightarrow C)) \rightarrow ((A \rightarrow B) \rightarrow (B \rightarrow C))
[/tex]
But it doesn't seem to me very helpful :-/
Could you please give me a hint how to continue or where to start?
Thank you very much.
first I hope there's no problem putting this question here, since I didn't find any special forum dedicated to propositional logic.
I really have very basic question, I'm trying to prove
[tex]
\vdash (A \rightarrow (B \rightarrow C)) \rightarrow (B \rightarrow (A \rightarrow C))
[/tex]
I tried using instanciation second axiom, ie.
[tex]
\vdash (A \rightarrow (B \rightarrow C)) \rightarrow ((A \rightarrow B) \rightarrow (B \rightarrow C))
[/tex]
But it doesn't seem to me very helpful :-/
Could you please give me a hint how to continue or where to start?
Thank you very much.