下列谓词恒等式，不正确的是
2024-11-05离散数学(02324)
下列谓词恒等式，不正确的是
A、∀x(P(x)⋁Q(x))⇔∀xP(x)⋁∀xQ(x)
B、∃x(P(x)⋁Q(x))⇔∃xP(x)⋁∃xQ(x)
C、∀x(P→Q(x))⇔P→∀xQ(x)
D、∃x(P→Q(x))⇔P→∃xQ(x)
【正确答案】：A
A、∀x(P(x)⋁Q(x))⇔∀xP(x)⋁∀xQ(x)
B、∃x(P(x)⋁Q(x))⇔∃xP(x)⋁∃xQ(x)
C、∀x(P→Q(x))⇔P→∀xQ(x)
D、∃x(P→Q(x))⇔P→∃xQ(x)
【正确答案】：A
