Definition:Propositional Calculus