A community for students.
Here's the question you clicked on:
 0 viewing
anonymous
 4 years ago
"Prove these logical equivalences, assuming that the domain is nonempty."
"You will probably have to use a proof by cases on the two possible values of proposition"
"∀yQ(y) and ∃yQ(y) respectively. This proof will use word arguments (not symbolic formula manipulation)."
"(a) ∀x(∀yQ(y) → P (x)) ≡ ∀yQ(y) → ∀xP (x)"
anonymous
 4 years ago
"Prove these logical equivalences, assuming that the domain is nonempty." "You will probably have to use a proof by cases on the two possible values of proposition" "∀yQ(y) and ∃yQ(y) respectively. This proof will use word arguments (not symbolic formula manipulation)." "(a) ∀x(∀yQ(y) → P (x)) ≡ ∀yQ(y) → ∀xP (x)"

This Question is Closed

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0if i expand this out ... i get .. Ax~AyQ(y) v P(x) for the left and then for the right i get ~AyQ(y) v AxP(x) for the right

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0then i continue expanding out and get Ax ( Ey~Q(y) v P(x) ) on the left and on the right i get ... Ey~Q(y) v AxP(x)

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0and then im STUCK Lol ...

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0Well, I can help you, but I'm a bit rusty. Give me some time, lol.

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0ok lol sorry no can do but watch

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0thanks!!! ive been struggling for 3 hours or more

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0When you type A you mean it to be a universal quantification, and E is an existential one, right?

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0im not sure if i factored in properly but if you need to know any rules or confirm any rules i think i can confirm some of them ..

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0pikachu didnt i tell u if it has nothing to do with calc i skip?

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0Oh, my bad. Also, gah, discrete math. >.< I know basic proofs, but never had a formal class in it.

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0actually you know what .. you dont even have to factor it out ... you just have to look at it and then .. somehow prove that it can be equivalent .. i just notice on either side theres a EyQ(y)

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.03 in the morning is not the time to be asking actually high level math problems, lol.

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0its ok Lol .. ive been working on it all day .. im kinda stumped lol

anonymous
 4 years ago
Best ResponseYou've already chosen the best response.0ill figure it out somehow lol thanks anyway
Ask your own question
Sign UpFind more explanations on OpenStudy
Your question is ready. Sign up for free to start getting answers.
spraguer
(Moderator)
5
→ View Detailed Profile
is replying to Can someone tell me what button the professor is hitting...
23
 Teamwork 19 Teammate
 Problem Solving 19 Hero
 Engagement 19 Mad Hatter
 You have blocked this person.
 ✔ You're a fan Checking fan status...
Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.