- Introduce yourself to logic concepts through pictures.
Move on to:
Building your own proofs with the online proof builder. This tool has some rough edges still, but don’t worry; it will only do correct inferences.
A more finished version of the proof builder is targeted for solving simple equations, at the companion Mathtoys site.