053 确定性推理-3.2 自然演绎推理