运算法则是长期实践推导出的规律，不需要证明。有理数加法法则是两数相加取绝对值较大的加数符号，并用较大的绝对值减去较小的绝对值。所有的有理数加法就是按照这个法则来运算，无需证明。其他的运算法则也是推导出来的规律，规定为法则。