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