Differential extension of propositional calculus