added tableau proofs for propositional logic