- #1
Mr.Cauliflower
- 18
- 0
Hello,
I don't know how to prove this:
[tex]
\vdash (A \rightarrow B) \rightarrow (\exists x)(A \rightarrow B)
[/tex]
First I thought it is just an instantiation of the dual form of the axiom of specification, which says
[tex]
\vdash A_{x}[t] \rightarrow (\exists x) A
[/tex]
but it probably shouldn't be so easy...
Would someone give me any hints?
Thank you.
I don't know how to prove this:
[tex]
\vdash (A \rightarrow B) \rightarrow (\exists x)(A \rightarrow B)
[/tex]
First I thought it is just an instantiation of the dual form of the axiom of specification, which says
[tex]
\vdash A_{x}[t] \rightarrow (\exists x) A
[/tex]
but it probably shouldn't be so easy...
Would someone give me any hints?
Thank you.