Propositional and First Order Logic Tools