在自然推理系统中P中证明:前提:p→(q→r),s→p,q结论:s→r

问题描述:

在自然推理系统中P中证明:
前提:p→(q→r),s→p,q
结论:s→r