is x or not x provable? Then use my proof structure again.
The whole point of this discussion is that I don't think that your proof structure is valid. To be honest, I'm not sure where your confusion lies here. Do you think that all statements that are true in PA are provable in PA? If not, how are you deriving provable(if x then q) from (if x then q)?
In regards to your above comment, just because you have provable(x or not(x)) doesn't mean you have provable(not(x)), which is what you need to deduce provable(if x then q).
This thread is for asking any questions that might seem obvious, tangential, silly or what-have-you. Don't be shy, everyone has holes in their knowledge, though the fewer and the smaller we can make them, the better.
Please be respectful of other people's admitting ignorance and don't mock them for it, as they're doing a noble thing.
To any future monthly posters of SQ threads, please remember to add the "stupid_questions" tag.