Updated Propositional Calculus

again