注意：此页面搜索的是所有试题
[证明题,7.1分] 在自然推理系统P中用附加前提法证明下面推理：
前提：
结论：
前提：
结论：
参考答案
参考答案