In order to understand logic, it is not enough to read about it: you must experience it for yourself by creating proofs and by defining and building models. Doing this the traditional way, on paper, was fine in another millennium, but now we have electronic devices which can assist greatly in the process. Interactive tools are provided with these notes, allowing you to construct proofs and semantic tableaux online. The great advantage of this is that feedback on any errors you may make is immediate, accurate and customised to your case. We also note Logic for Fun, the companion site to this, which allows you to use logic to specify problems, which is perhaps its most important application.
- Proof editor Interactive tool for constructing natural deduction proofs
- Proof editor guide User manual for the proof construction tool
- Tableau editor Interactive tool for constructing semantic tableaux
- Tableau editor guide User manual for the tableau construction tool
- Logic for Fun What is says: applying logic to puzzles and other diversions