Ask HN: How to develop logical skills? 16 years ago
Learn to follow Metamath proofs. (http://us.metamath.org/) Metamath allows you to start with the axioms of propositional calculus and go all the way up to set theory and beyond. When you understand Carew Meredith's sole axiom for propositional calculus, you will know a lot about logic.