A community for students.

Here's the question you clicked on:

55 members online
  • 0 replying
  • 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)"

  • This Question is Closed
  1. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    if 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

  2. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    then 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)

  3. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    and then im STUCK Lol ...

  4. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    i got confused

  5. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    looks like ascii

  6. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    its discrete math

  7. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    Ah.

  8. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    Well, I can help you, but I'm a bit rusty. Give me some time, lol.

  9. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    ok lol sorry no can do but watch

  10. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    thanks!!! ive been struggling for 3 hours or more

  11. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    When you type A you mean it to be a universal quantification, and E is an existential one, right?

  12. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    yes!

  13. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    im 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 ..

  14. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    pikachu didnt i tell u if it has nothing to do with calc i skip?

  15. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    Oh, my bad. Also, gah, discrete math. >.< I know basic proofs, but never had a formal class in it.

  16. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    actually 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)

  17. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    3 in the morning is not the time to be asking actually high level math problems, lol.

  18. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    its ok Lol .. ive been working on it all day .. im kinda stumped lol

  19. anonymous
    • 4 years ago
    Best Response
    You've already chosen the best response.
    Medals 0

    ill figure it out somehow lol thanks anyway

  20. Not the answer you are looking for?
    Search for more explanations.

    • Attachments:

Ask your own question

Sign Up
Find more explanations on OpenStudy
Privacy Policy

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
  • 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.

This is the testimonial you wrote.
You haven't written a testimonial for Owlfred.