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!

Stuck on logic

  1. Oct 3, 2003 #1
    This is driving me nuts. I'm sure the answer is completely obvious.

    I'm using > for the if A then B b/c there's no keyboard symbol for that, and * for the and operator because same reason.

    1. B v (S*N)
    2. B > ~S
    3. S > ~ N / B v W

    I have no idea what to do with these if/then statements, how to separate them, or anything, because I can't get any of the premises by themselves from the first statement.

    Please help? Thanks.
  2. jcsd
  3. Oct 3, 2003 #2


    User Avatar
    Science Advisor

    I have no idea what your question is. Are these three statements the hypotheses and you want to decide what you can prove from them? Are they steps in a proof any you want to decide what you conclude? Is the last step the conclusion and you want to know if the argument is valid? What is it you want to know?
  4. Oct 3, 2003 #3
    Sorry, should have explained more. It's a logical proof, and we have so far learned the a bunch of rules of inference and replacement. I had an epiphany in class though that I was forgetting one rule, and so was able to do it.

    1. B v (S*N)
    2. B > ~S
    3. S > ~ N / B v W
    4. (B>~S) * (S>~N) 2, 3 Conj
    5. (BvS)*(BvN) 1 dist
    6. BvS 5, simp
    7. ~Sv~N 4, 6 CD
    8. ~(S*N) DM 7
    9. (S*N)vB 1 comm
    10. B 8, 9 DS
    11. BvW add 10
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Stuck on logic
  1. Stuck on these (Replies: 1)

  2. Stuck on the limits (Replies: 5)

  3. Stuck on this problem (Replies: 1)

  4. Stuck in a problem (Replies: 3)