关于离散数学的自然推理系统

怎么理解自然推理系统？形式推理感觉没有逻辑内容推理来的直观，推理过程也不是很能理解