Below are tutorial links for all
six steps (C9 and C10) for propositional logic.
These are end-stage tutorials.
In other words, if after following the procedures
(reading, exercises, etc.) for a particular step, you are
struggling or lost try the appropriate tutorial below. So, note that there is no magic bullet
that will let you skip the necessary preparation work.
NOTE: DON'T USE THE EXPLORER
BROWSER FOR THESE TUTORIALS. IT WILL NOT
DISPLAY ALL THE LOGICAL CONNECTIVES CORRECTLY. BEST TO
USE FIREFOX,
BUT CROME AND OPERA SHOULD BE OK.