问答题

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

【参考答案】