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