Differential Propositional Calculus