从已有事实出发，凭借经验和直觉，通过归纳和类比等推断某些结果的推理叫做（）推理；从已有的事实（包括定义、公理、定理等）和确定的规则（包括运算的定义、法则、顺序等）出发，按照逻辑推理的法则证明和计算的推理是（）推理。