不挂科搜题免费

问题:

三、证明(8分)
在自然推理系统F中构造下面推理的证明

答案:

证明: