不挂科搜题免费

问题:

在自然推理系统P中构造下面推理的证明(10分)
前提:

答案:

解: ⑴