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

完成拼图验证

按住下方滑块,将拼图拖到缺口处后松开。

拼图背景,将小拼图拖到缺口处
向右拖动滑块