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

Similar Threads - Symbolic logic help Date
Symbolic logic help (proofs) Oct 17, 2010
Symbolic Logic (quick easy question) Apr 5, 2010
Need help with verification of 5 symbolic logic sentences Nov 9, 2007
Symbolic Logic - Help Nov 22, 2004