形式逻辑是数理逻辑的主要研究对象,当然数理逻辑也研究归纳法,和演绎推理规则.