[FOM] question about Mendelson's Intro to Math Logic

[Robert Lubarsky]

There's an exercise from Mendelson's Intro to Mathematical Logic that I
cannot do, and would like an answer to. In the 5th edition, it's 1.59 on p.
39. Namely, he gives three axioms for a Hilbert-style propositional proof
system. The first two are essentially the combinators s and k. The third is 

(not C -> not B) -> [ (not C -> B) -> C ]. The exercise in question is to
show that, if you replace this last schema with (not B -> not C) -> (B -> C)
then the new system proves the same as the old. I don't see how to do this. 

 

My attempt is as follows. We can use the deduction theorem. So assume (not C
-> not B) and (not C -> B), with the goal of proving C. From the new schema,
we get  B -> C. We can compose that with (not C -> B) to get (not C -> C). I
don't see how to go from that to C within this system.

 

Bob Lubarsky

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140209/389863e5/attachment.html>