Results 1 to 2 of 2

Math Help - Prop. Logic help

  1. #1
    Newbie
    Joined
    Sep 2009
    Posts
    1

    Prop. Logic help

    Hey forum,

    This stuff is pretty out-there to me right now. Im sure there'll be a day when it clicks, like snowboarding...but right now im having a tough time. This is in accordance to my csci class...

    How do i prove: (in any way youd like)

    (p => r)v(q => r)
    -r
    ________
    p => -q


    and then.. without using the theorem of deduction, give direct proof for:

    (p => q) => r


    for the 2nd one.. this is what i think i understand.

    1. (p => q) => r
    2. (-p v q) => r IR
    3. -(-p v q) v r IR
    4. (p ^ -q) v r DM
    5. .....uhhh (-q v r) DL
    6. q => r IR
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Matt Westwood's Avatar
    Joined
    Jul 2008
    From
    Reading, UK
    Posts
    824
    Thanks
    33
    Quote Originally Posted by cameronbb View Post
    Hey forum,

    This stuff is pretty out-there to me right now. Im sure there'll be a day when it clicks, like snowboarding...but right now im having a tough time. This is in accordance to my csci class...

    How do i prove: (in any way youd like)

    (p => r)v(q => r)
    -r
    ________
    p => -q


    and then.. without using the theorem of deduction, give direct proof for:

    (p => q) => r


    for the 2nd one.. this is what i think i understand.

    1. (p => q) => r
    2. (-p v q) => r IR
    3. -(-p v q) v r IR
    4. (p ^ -q) v r DM
    5. .....uhhh (-q v r) DL
    6. q => r IR
    For the first one, you need:

    a) Modus Tollens (or whatever you call it on your course), that is:

    A \implies B, \lnot B \vdash \lnot A

    which you need to apply twice.

    b) One of De Morgan's laws:

    \lnot (A \wedge B) \vdash \lnot A \vee \lnot B

    c) One application of what you seem to call IR above.

    Any help?

    See how you get on with that, and come back if you still can't master it. Worry not, it took me ages to get the hang of this. Then, as you say, it's like snowboarding (or in my case it was waterskiing).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Probability prop.
    Posted in the Statistics Forum
    Replies: 3
    Last Post: July 28th 2011, 06:45 PM
  2. Proof in axiomatic system (Prop. logic)
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: October 3rd 2010, 12:12 PM
  3. Stats/Prop question regarding sample sets
    Posted in the Statistics Forum
    Replies: 2
    Last Post: February 3rd 2009, 05:10 AM
  4. Prop Logic shenanigans
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: December 20th 2008, 11:02 PM
  5. [SOLVED] Easy One:Euclid's prop. 7
    Posted in the Geometry Forum
    Replies: 0
    Last Post: February 6th 2008, 08:18 PM

Search Tags


/mathhelpforum @mathhelpforum