Differential propositional calculus