Show that quantified statements∀x(P(x)⊕Q(x)) and （∀xP(x))⊕(∀xQ(x))are not logically equivalent.（证明两者不等） 数学
网友回答
【答案】 论域是人的集合,P(x)表示x是男人,Q(x)表示x女人,
∀x(P(x)⊕Q(x)) 表示所有人或是男人或是女人,是真命题
（∀xP(x))⊕(∀xQ(x))表示所有人是男人或所有人是女人,是假命题
故∀x(P(x)⊕Q(x)) and （∀xP(x))⊕(∀xQ(x))
are not logically equivalent