Results 1 to 6 of 6

Math Help - 'Proof', is my answer right? Plz check.

  1. #1
    Newbie
    Joined
    Feb 2010
    Posts
    6

    'Proof', is my answer right? Plz check.

    Question -

    Use the rule of interface to show that if A, B, C and D are proposition, the conclusion C or ~D can be interred from the four hypotheses A=>B, B=> ~D, A, and B=>C.
    The 'rules' are whether they are Modues ponens, Modus Tollens, Addition, Simplification, Conjuction or Hypothetical syllogism.


    My answer -
    A=>B, B=> ~D, A, and B=>C.

    A, and A ===>B, therefore B

    B in turns implies C on one hand and ~D on the other, hence implies C and ~D and
    in particular C or ~D.


    Is above answer right?

    Thanks,
    Oz
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    Feb 2010
    Posts
    10
    Seems about right
    1. A->B (premise)
    2. A (premise)
    3. B (modus ponens 1, 2)
    4. B->C (premise)
    5. C (modus ponens 3, 4)
    6. B->~D (premise)
    7. ~D (modus ponens 3, 6)
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Banned
    Joined
    Mar 2009
    Posts
    256
    Thanks
    1
    Quote Originally Posted by Skids View Post
    Seems about right
    1. A->B (premise)
    2. A (premise)
    3. B (modus ponens 1, 2)
    4. B->C (premise)
    5. C (modus ponens 3, 4)
    6. B->~D (premise)
    7. ~D (modus ponens 3, 6)
    I believe the conclusion should be C or notD and not only notD
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Feb 2010
    Posts
    10
    Quote Originally Posted by xalk View Post
    I believe the conclusion should be C or notD and not only notD
    It is. Both C (line 5) and (line 7) ~D are valid conclusions and I have them up there.
    I guess I could have put a further line
    8. C ^ ~D but it didn't seem necessary.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Banned
    Joined
    Mar 2009
    Posts
    256
    Thanks
    1
    Quote Originally Posted by Skids View Post
    It is. Both C (line 5) and (line 7) ~D are valid conclusions and I have them up there.
    I guess I could have put a further line
    8. C ^ ~D but it didn't seem necessary.
    It is: C or notD and not C and notD ,and we are not allowed to use Disjunction Introduction
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Feb 2010
    Posts
    10
    Quote Originally Posted by xalk View Post
    It is: C or notD and not C and notD ,and we are not allowed to use Disjunction Introduction
    I'm not sure who this unstated 'we' is. I only showed that both C and ~D could be derived using the given premises. If you disagree, show where the derivation is wrong. Both are true under the premises and all that as far as I can see. I guess trying to help out is frowned up around here. I'll pack my swag and leave so that you (as in the unstated we) can be happy that Disjunction are not introduced. Something I didn't do. Goodbye.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. I want check my answer
    Posted in the Pre-Calculus Forum
    Replies: 4
    Last Post: January 31st 2010, 11:07 AM
  2. I want check my answer
    Posted in the Pre-Calculus Forum
    Replies: 3
    Last Post: December 22nd 2009, 09:58 AM
  3. Please can someone check to see if my answer is right??
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 1st 2009, 11:02 PM
  4. Would you check out my answer please?
    Posted in the Algebra Forum
    Replies: 3
    Last Post: March 17th 2009, 02:27 AM
  5. check my answer
    Posted in the Trigonometry Forum
    Replies: 2
    Last Post: August 16th 2008, 10:54 AM

Search Tags


/mathhelpforum @mathhelpforum