1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    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!

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.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Symbolic Logic Proof Date
Levi-Civita connection and Christoffel symbols Jan 31, 2017
Difficult Predicate Logic Symbolization! Feb 15, 2012
Symbolic Logic help Nov 2, 2010
Symbolic logic derivation, please help! Mar 15, 2010
Logic symbols help pleeease Oct 17, 2005