【66yp】?x?y(P(x)→Q(y))|=?y?x(P(x)→Q(y))是...

发布时间:2021-03-18 18:01:57

∀ x ∃ y(P(x) → Q(y)) |= ∃ y ∀ x(P(x) → Q(y)) 是正确的吗?∀ x ∃ y(P(x) → Q(y)) 和 ∃ y ∀ x(P(x) → Q(y))的区别在哪?最好能给个例子, 数学

网友回答

【答案】 第一个就是任意x,都有对应的y,使P(x) → Q(y)成立
  第二个就是存在一个y,使任意的x都满足P(x) → Q(y)
以上问题属网友观点,不代表本站立场,仅供参考!