Show that quantified statements∀x(P(x)⊕Q(x)) and (∀xP(x))⊕(∀xQ(x))are not logically equivalent.(证明两者不等)

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/02 16:27:41
Show that quantified statements∀x(P(x)⊕Q(x)) and (∀xP(x))⊕(∀xQ(x))are not logically equivalent.(证明两者不等)

Show that quantified statements∀x(P(x)⊕Q(x)) and (∀xP(x))⊕(∀xQ(x))are not logically equivalent.(证明两者不等)
Show that quantified statements
∀x(P(x)⊕Q(x)) and (∀xP(x))⊕(∀xQ(x))
are not logically equivalent.(证明两者不等)

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

I would like to know this answer too!