Results 1 to 2 of 2

Math Help - Help on Proofs (Rules of Inference)

  1. #1
    Newbie
    Joined
    Mar 2010
    Posts
    1

    Help on Proofs (Rules of Inference)

    I'm having a lot of trouble with proofs and rules of inference, If somebody could talk me through each of these problems I will be grateful. Proofs are very interesting to me and I know I need practice, but help is always appreciated.

    * = conjunction

    (P > T) * P
    (T v S) > (T > R)
    ------------------
    (T*P) * R


    R > (Q > S)
    P * R
    T > P
    T v Q
    -----------------
    SvP


    (P v Q) > (P * (S v R))
    P v (T * R)
    (T * R) > S
    ~S * (P > Q)
    ----------------------------
    Q v S


    Thank you.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by California99 View Post
    I'm having a lot of trouble with proofs and rules of inference, If somebody could talk me through each of these problems I will be grateful. Proofs are very interesting to me and I know I need practice, but help is always appreciated.

    * = conjunction

    (P > T) * P
    (T v S) > (T > R)
    ------------------
    (T*P) * R



    Let's see if I can write this the "usual" way AND "translate" it. You do the formal writing:

    (P\rightarrow T)\wedge P -- for this to be true both sides must be true, so P is true but then also T has to be true for P\rightarrow T to be true.

    (T\vee S)\rightarrow (T\rightarrow R) -- The left side here is always true since T is, so the right side must be true as well, and since T is true also R is true
    ---------------------------------------
    T\wedge P\wedge R -- follows at once frome the above


    R > (Q > S)
    P * R
    T > P
    T v Q
    -----------------
    SvP


    Hint: the second line tells us that both P, R are true...and this is pretty much you need!
    Now you try the other ones by yourself.

    Tonio
    Ps. Of course, you must thoroughly know the truth tables for the different connectives...!


    (P v Q) > (P * (S v R))
    P v (T * R)
    (T * R) > S
    ~S * (P > Q)
    ----------------------------
    Q v S


    Thank you.
    .
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Rules of Inference
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 11th 2009, 11:36 PM
  2. Rules of Inference... I think
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: September 17th 2009, 04:53 PM
  3. HELP: Rules of Inference
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: September 8th 2009, 10:08 AM
  4. Rules of Inference Help
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: March 8th 2009, 08:25 AM
  5. Rules Of Inference
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: November 5th 2008, 06:00 PM

Search Tags


/mathhelpforum @mathhelpforum