Updated Propositional Calculus