数学运算与逻辑推理的关系