Starting points

  • Introduce yourself to logic concepts through pictures.

This site has explanations of concepts at work in mathematical logic and the Prooftoys system, with interactive pictures like these:

sample logic graphic

Move on to:

A more finished version of the proof builder is targeted for solving simple equations, at the companion Mathtoys site.