Starting with decision procedures in Propositional Logic.
Added tableaux method for propositional logic.