前提: 彐xF(x)→Аy(F(y)→R(y)),彐xF(x) 结论:彐xR(x)
出自:西安石油大学-离散数学