http://gametheory101.com/courses/logic-101/ Our journey into sentential logic has eight steps: 1) Logical Operations 2) Truth Tables 3) Replacement Rules 4) Rules of Inference 5) Proofs 6) Conditional Proofs 7) Proof by Contradiction 8) Formal Fallacies
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.