Textbook Found

I finally found a textbook that I can trust. I've been through quite a few. The predicate logic presented in this textbook is user friendly and more for philosophy but is just as valid as any mathematical presentation. So, I'm going to go with my new textbook and trust it. Besides it's from Patrick J. Hurley. He's been writing textbooks for decades.