So I didn't really know where to put this, figured philosophy was the best choice. But does anyone else like doing symbolic logic? It's really fun, but I'm having some hard times deducting from a proof, if anyone out there is any good at this, let me know. I need some help. Thank you.