CLASS #226: Basic Logic Part III -- Propositional Logic