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!

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 Discussions: Symbolic Logic, Proof with Conditional
  1. Proof with symbols (Replies: 0)

  2. Symbolic Logic help (Replies: 0)