下列公式中不属于逻辑有效式的是____。
·(F(x,y)→R(x,y))∧R(x,y)
出自:佳木斯大学语言治疗学