谁能用推理规则证明.若∀x(p(x)→(Q(x)∧S(x)))和∀x(p(x)∧R(x))为真,则∀x(R(x)∧S(x))为真.我想知道的是 这个式子如何证明 步骤是怎么样的.为什么要使用这个步骤..

谁能用推理规则证明.若∀x(p(x)→(Q(x)∧S(x)))和∀x(p(x)∧R(x))为真,则∀x(R(x)∧S(x))为真.我想知道的是 这个式子如何证明 步骤是怎么样的.为什么要使用这个步骤..
谁能用推理规则证明.
若∀x(p(x)→(Q(x)∧S(x)))和∀x(p(x)∧R(x))为真,则∀x(R(x)∧S(x))为真.
我想知道的是 这个式子如何证明 步骤是怎么样的.为什么要使用这个步骤.
.

谁能用推理规则证明.若∀x(p(x)→(Q(x)∧S(x)))和∀x(p(x)∧R(x))为真,则∀x(R(x)∧S(x))为真.我想知道的是 这个式子如何证明 步骤是怎么样的.为什么要使用这个步骤..
∀x(p(x)∧R(x))为真→∀x(p(x))为真→∀x(p(x)→(Q(x)∧S(x)))→∀xS(x))为真→∀x(R(x)∧S(x))为真
也就是R(x)与S(x)分别为真.