This is where I store the math stuff. I plan on eventually having a full logic course sort of thing here, but I haven't worked on it for awhile, so don't expect that to be completed any time soon. It's a complicated topic and it's easy to explain formally, but hard to explain in a generally understandable way, which takes a lot of additional time.
A (Colorful) Introduction to Logic
The conditional statement in detail