不挂科搜题免费

问题:

7.在自然推理系统P中构造下面推理的证明
2)前提:p→g-(q八r),r

答案:

Array