Differential Logic : Introduction