3.2 自然演绎推理