Results 1 to 2 of 2

Math Help - Basic SL proof using DS

  1. #1
    Newbie
    Joined
    May 2010
    Posts
    1

    Basic SL proof using DS

    I am reading Logic for Dummies... and that should probably end my question answer and existence, but there is a proof in the book that is giving me fits. I've searched

    Code:
    P -> ~Q, P V R, Q V S, ~R: ~P V S
    
    1. P -> ~Q      P
    2. P V R        P
    3. Q V S        P
    4. ~R           P
    5. P            2, DS
    6. ~Q           1, 5, MP
    7. S            3, 6, DS
    8. ~P V S       7, ADD
    The conclusion is what makes no sense to me. How can you go from P to ~P. Is this a typo in the book, or am I missing something?

    Thanks.

    I'm going to switch to another book because this is a little to kitschy for me, but I would like to find out if my logic is flawed.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor undefined's Avatar
    Joined
    Mar 2010
    From
    Chicago
    Posts
    2,340
    Awards
    1
    Quote Originally Posted by debiant View Post
    I am reading Logic for Dummies... and that should probably end my question answer and existence, but there is a proof in the book that is giving me fits. I've searched

    Code:
    P -> ~Q, P V R, Q V S, ~R: ~P V S
    
    1. P -> ~Q      P
    2. P V R        P
    3. Q V S        P
    4. ~R           P
    5. P            2, DS
    6. ~Q           1, 5, MP
    7. S            3, 6, DS
    8. ~P V S       7, ADD
    The conclusion is what makes no sense to me. How can you go from P to ~P. Is this a typo in the book, or am I missing something?

    Thanks.

    I'm going to switch to another book because this is a little to kitschy for me, but I would like to find out if my logic is flawed.
    If S is true then X V S is true no matter what X is.

    My statement: "The moon is made of cheese" OR "The sky is blue."

    Assuming that the sky is in fact blue, then my statement is true even though the moon is clearly not made of cheese. (Or is it?)
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Basic Proof
    Posted in the Differential Geometry Forum
    Replies: 8
    Last Post: August 30th 2011, 11:26 AM
  2. help with basic proof
    Posted in the Algebra Forum
    Replies: 2
    Last Post: February 14th 2011, 04:42 AM
  3. Please look at this basic proof.
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: April 26th 2010, 06:39 PM
  4. Basic proof.
    Posted in the Algebra Forum
    Replies: 4
    Last Post: November 23rd 2009, 12:27 AM
  5. Basic proof
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: June 30th 2007, 08:11 AM

Search Tags


/mathhelpforum @mathhelpforum