#Check my solution and suggest

6 messages · Page 1 of 1 (latest)

sharp marlin
#

Can anyone check if have solved correctly and what i can do better:

wet mulchBOT
sharp marlin
#

Show that (∀x ∈ AP(x)) ∧ (∀x ∈ B P(x)) is equivalent to ∀x ∈
(A ∪ B)P(x). (Hint: Start by writing out the meanings of the bounded
quantifiers in terms of unbounded quantifiers.)

#

can anyone help

#

Q -> p(X) do u mean?