1. Not finding help here? Sign up for a free 30min 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!

Please help construct a proof (propositional logic)

  1. Dec 3, 2011 #1
    This is a two part question my book gives as practice problem. I, however am struggling to construct logical proofs and the book does not have a key. Thanks in Advance!


    2a. Construct a proof, using any method (or rules) you want, that the following argument is valid:
    Premises (3): – [A&B], – [B&C], A v C
    Conclusion: – B
    Be sure to explain your proof procedure.

    2b. Construct a proof, using only the 10 basic (primitive) rules, that the same argument is valid.
     
  2. jcsd
  3. Dec 3, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Please post your attempt or this thread will be deleted.
     
  4. Dec 3, 2011 #3
    I do not understand the question enough to make a valid attempt as this is why I posted it in this forum...
     
  5. Dec 3, 2011 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Then you should read your textbook again or ask your instructor. We are not here to explain the theory to you. We are only here to guide you to finding a solution.
     
  6. Dec 3, 2011 #5
    Ok, thanks for your help.

    Is there anyone out there willing to help guide me to finding a solution...
     
  7. Dec 3, 2011 #6

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    We're happy to help you, as long as you make some attempt first.
     
  8. Dec 3, 2011 #7
    This is what I have so far. At this point I am unsure of where to go next:

    -[A&B]

    A
    -[B&C]

    A
    [A v C]

    A
    -A

    Line 1, &O
    -[A v B]

    Line 4, vI
    -B

    Line 2, &O
    -[B v C]

    Line 5, vI
     
  9. Dec 3, 2011 #8
    You're tryingn to prove the negation of (A&B) ...
     
    Last edited: Dec 3, 2011
  10. Dec 3, 2011 #9
    Are you asking me if I am trying to prove the negation of (A&B)? I am trying to prove the conclusion -B
     
  11. Dec 3, 2011 #10
    OK I didn't understand what you meant.
     
  12. Dec 3, 2011 #11
    I am not sure that the path I have chosen is correct. I feel like the entire question can be answered with one proof if that proof were to satisfy the requirements of question 2b. It could be applied as the answer to question 2a
     
  13. Dec 3, 2011 #12

    Redbelly98

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper

    Thanks for showing an attempt.
    I don't see how this follows from line 1. Line 1 implies (-A v -B), but not necessarily -A.
    Another approach would be to try proof by contradiction, also referred to as an indirect proof.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Please help construct a proof (propositional logic)
  1. Propositional Logic (Replies: 5)

  2. Propositional Logic (Replies: 9)

Loading...