形式推理的类型