问答题

计算题 证明下列式子:(∀x)(F(x)→(G(y)∧R(x))),(∃x)F(x)=>(∃x)(F(x)∧R(x))

【参考答案】