It’s been years since I’ve took a symbolic logic course. I forgot a lot. Mostly how to do proofs. I was never terribly great at proofs anyway but I was able to get by. Anyone know of any resources I could use to re teach myself it?
Professor Teller wrote a logic textbook that’s super easy to read and really great. When the copywrite reverted to him, he made it available for free to use.