I just wrote this handout for my Logic students. Let me know if anything is unclear. I teach the course again (for the 26th time) in the fall.