已知P(y)→Q(x),能推出P(y)→Q(y)么

参考资料