1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Symbolic Logic, Proof with Conditional

  1. May 29, 2010 #1

    Any advice on how to make step 6 check out?
  2. jcsd
  3. May 30, 2010 #2


    User Avatar
    Science Advisor
    Homework Helper

    The problem is you can't conclude
    FrontOf(d, e)​
    from step 4, isn't it?
    Then isn't another quantifier elimination all you need (i.e. prove that Cube(e) and Dodec(d) implies FrontOf(d, e)) ?

    Also I'm wondering if you mixed up the order of e and y in step 4.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook