Propositional Logic - Deduction And Algorithms