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 ??????

  2. jcsd
  3. Nov 21, 2007 #2
    What class is this for? What does vINTRO mean?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook