Results 1 to 9 of 9

Math Help - noob Help with Logic

  1. #1
    Newbie
    Joined
    Jun 2011
    Posts
    5

    noob Help with Logic

    Show that (p→q)→r and p→(q→r) are not equivalent

    Im not sure what type of answer they want, i know im not supposed to use a truth table...
    srry if this is a newbish question just started reading the textbook and im self teaching
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718

    Re: noob Help with Logic

    Strictly speaking, one must use truth tables to prove that something is not equivalent in an introductory course. (There are also methods from proof theory, but I would think that they are not introductory-level.) Are there similar examples with solutions in the textbook? What is the context, i.e., what are the surrounding sections about?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718

    Re: noob Help with Logic

    To add: One way to show that two formulas are not equivalent is to convert them to full disjunctive normal forms and to show that they are different. However, the auxiliary statement that formulas are equivalent iff they have the same full disjunctive normal form is proved using truth tables.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member

    Joined
    May 2006
    From
    Lexington, MA (USA)
    Posts
    11,547
    Thanks
    539

    Re: noob Help with Logic

    Hello, whitetige1!

    \text{We know that }\,P \!\to Q\,\text{ and }\sim\!P \vee Q\,\text{ are equivalent.}


    \text{Show that: }\:(p \to q) \to r \;\;\rlap{\;\:\:/}{\Longleftrightarrow} \;\; p \to (q \to r)

    . . \begin{array}{cccc}\text{Left side} &&& \text{Right side} \\ \hline \\[-3mm] (p \to q ) \to r &&& p \to (q \to r) \\ (\sim\!p \vee q) \to r &&& \sim\!p \vee(q \to r) \\ \sim(\sim\!p \vee q) \vee r &&& \sim\!p \vee (\sim\!q \vee r) \\ \underbrace{(p \,\wedge \sim\!q) \vee r} &&& \underbrace{\sim\!p \,\vee \sim\!q \vee r} \end{array}
    . = . = . . \uparrow \;\;\text{ not equivalent } \;\; \uparrow

    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718

    Re: noob Help with Logic

    I would still claim that, to be strict, the fact that (p /\ ~q) \/ r is not equivalent to ~p \/ ~q \/ r has to be shown using truth values.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Jun 2011
    Posts
    5

    Re: noob Help with Logic

    My apologies for being vauge, the chapter the question was in had just introduced logical equivalencies (De Morgans Laws...etc) so very introductory.
    I found an answer, however i don't understand how/why they've answered it this way there were no examples answered this way and the previous questions were not answered this way either it just seems very out of context,

    ANSWER:
    These are not logically equivalent because when p, q, and
    r are all false, (p→q)→r is false, but p→(q→r) is true.

    maybe i should supplement the book im reading with something else.
    Thanx for the quick responses
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,386
    Thanks
    1476
    Awards
    1

    Re: noob Help with Logic

    Quote Originally Posted by whitetige1 View Post
    ANSWER:
    These are not logically equivalent because when p, q, and
    r are all false, (p→q)→r is false, but p→(q→r) is true.
    In fact, that is simply one line of a, truth table.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Super Member

    Joined
    May 2006
    From
    Lexington, MA (USA)
    Posts
    11,547
    Thanks
    539

    Re: noob Help with Logic

    Hello, whitetige1!

    I agree with Plato . . .


    \text{ANSWER:}

    \text{These are not logically equivalent because when }p, q, r\text{ are all false,}
    . . (p\to q)\to r\text{ is false, but }p \to(q\to r)\text{ is true. }\;(??)

    But how do we know this without using a truth table?

    Follow Math Help Forum on Facebook and Google+

  9. #9
    Newbie
    Joined
    Jun 2011
    Posts
    5

    Re: noob Help with Logic

    It just seems to be the way it was answered and the setting of the question that confused me, im not really fussed about it as i now understand it i just thought it would be worth asking to get some clarification. Thanks for all answers they are very much appreciated
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Help (noob here) book recomendations
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: June 8th 2011, 05:24 PM
  2. Some noob analysis questions
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: March 8th 2010, 04:28 AM
  3. Noob Help, Three way set intersection.
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 8th 2009, 03:36 PM
  4. Help a noob out please
    Posted in the Algebra Forum
    Replies: 1
    Last Post: September 10th 2009, 01:39 PM
  5. Noob graph problem
    Posted in the Algebra Forum
    Replies: 1
    Last Post: June 13th 2009, 01:58 PM

Search Tags


/mathhelpforum @mathhelpforum