[证明题,7.1分] 在自然推理系统P中用附加前提法证明下面推理：
前提：
结论：

---