问答题

在自然推理系统F中构造下面推理的证明
前提:xF(x)→y(F(y)∨G(v)→R(y)),xF(x)
结论:xR(x)


您可能感兴趣的试卷

你可能感兴趣的试题