谓词公式 xF(x) →(xyG(x,y)→xF(x))是予盾式。 ( )
·正确
·错误
出自:佳木斯大学语言治疗学