微积分中的积分法则是怎样推导出来的
我知道微分法则可以通过导数的定义推导出来.但是积分法则怎样呢?难道是根据微分法则倒推吗?这样,根据微分法则,f(x)=ln x的导数就是f'(x)=1/x,如果倒推的话就得到f(x)=1/x的积分就是ln x+C,可实际上是ln|x|+C,多了个绝对值符号,难道不是单纯的倒推?那又是怎样推导的?