Results 1 to 6 of 6
Like Tree2Thanks
  • 1 Post By Soroban
  • 1 Post By HallsofIvy

Math Help - Are these compound propositions logically equivalent?

  1. #1
    Newbie
    Joined
    Mar 2013
    From
    Jordan
    Posts
    4

    Question Are these compound propositions logically equivalent?

    (p -> r) ^ (r -> q ) and (p -> q)

    thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member

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

    Re: Are these compound propositions logically equivalent?

    Hello, Ammar!

    \text{Are these propositions logically equivalent?}
    . . . (p \to r) \wedge (r\to q)\,\text{ and }\,(p \to q)

    No, their truth-table values are not identical.

    \begin{array}{|c|c|c || c|c|c|c|c|c|c || c|c|c|} p&q&r & (p & \to & r) & \wedge & (r & \to & q) & p & \to & q \\ \hline T&T&T & T&T&T&{\color{red}T}&T&T&T & T&{\color{red}T}&T \\ T&T&F & T&F&F&{\color{red}F}&F&T&T & T&{\color{red}T}&T \\ T&F&T & T&T&T&{\color{red}F}&T&F&F & T&{\color{red}F}&F \\ T&F&F & T&F&F&{\color{red}F}&F&T&F & T&{\color{red}F}&F \\ F&T&T & F&T&T&{\color{red}T}&T&T&T& F&{\color{red}T}&T \\ F&T&F & F&T&F&{\color{red}T}&F&T&T & F&{\color{red}T}&T \\ F&F&T & F &T&T&{\color{red}F}&T&F&F & F&{\color{red}T}&F \\ F&F&F & F&T&F&{\color{red}T}&F&T&F & F&{\color{red}T}&F \\ \hline &&& 1&2&1 &3& 1&2&1 & 1&2&1 \\ \hline \end{array}
    Thanks from Ammar
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2013
    From
    Ontario
    Posts
    15

    Re: Are these compound propositions logically equivalent?

    (p -> r) ^ (r -> q ) =/= (p -> q), However, (p -> r) ^ (r -> q) -> (p -> q).
    Perhaps that helps/was what you were looking for.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Mar 2013
    From
    Jordan
    Posts
    4

    Re: Are these compound propositions logically equivalent?

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

  5. #5
    Newbie
    Joined
    Mar 2013
    From
    Jordan
    Posts
    4

    Re: Are these compound propositions logically equivalent?

    RobertXIV
    sorry, I didn't understand.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    Apr 2005
    Posts
    14,973
    Thanks
    1121

    Re: Are these compound propositions logically equivalent?

    Do you understand the difference between "A is equivalent to B" and "A implies B"?

    "A implies B" says that if A is true then B must be true but says nothing about what happens if A if false.

    "A is equivalent to B" says that if A is true then B must be true and if A is false then B is false".

    In order that (p->r)^(r->q) be true both p->r and r->q must be true. In that case, if p is true, r is true and then q is true. In other word, if p is true so is q: p->q.

    But (p->r)^(r->q) is false one of p->r or r->q must be false. It might be the case, for example that p is true and r is false, so that p->r is false. That tells us nothing about whether or not q is true or false.
    Thanks from Ammar
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Prove propositions are logically equivalent
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: March 1st 2011, 02:33 PM
  2. Logically equivalent
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: July 20th 2010, 09:20 PM
  3. logically equivalent
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: March 24th 2010, 01:30 AM
  4. logically equivalent
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: March 18th 2010, 05:55 AM
  5. Logically Equivalent Statement-HELP!
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: September 17th 2008, 10:32 AM

Search Tags


/mathhelpforum @mathhelpforum