逻辑推理的错误类