作业帮 > 数学 > 作业

Show that quantified statements

来源:学生作业帮 编辑:大师作文网作业帮 分类:数学作业 时间:2024/09/25 15:22:33
Show that quantified statements
∀x(P(x)⊕Q(x)) and (∀xP(x))⊕(∀xQ(x))
are not logically equivalent.(证明两者不等)
Show that quantified statements
论域是人的集合,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