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 help please, please!

  1. Nov 15, 2007 #1
    The question asks you to prove A v C

    This is what I have. Everything is correct until the last question, #11

    1. A V C
    2. ~BvC
    3.(new subproof) B
    4. (new subproof ~B
    5. contradiction contradiction intro 4,3
    (end subproof from 4-5)
    6. ~BvC V Intro 2
    (end subproof from 3-6)
    7. (new subproof) A
    8. A v B vINTRO 1
    (end subproof from 7-8)

    9.(new subproof) C
    10. ~BvC (vINTRO 2)
    (end subproof 9-10)
    11.A v C VINTRO ??????


    Thanks!
    -J
     
  2. jcsd
  3. Nov 21, 2007 #2
    What class is this for? What does vINTRO mean?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Symbolic logic help please, please!
  1. Symbolic Logic - Help (Replies: 3)

Loading...