Here, in case you're interested, is a handout that I prepared for my Logic students. This fall's Logic course will be my 28th.