# Can you help us with this Critical Thinking problem?

## Recommended Posts

This problem is from Critical Thinking Book 2 (the Critical Thinking Company)

My daughter needs to figure out if this is a tautology by proving if the argument is valid.

[P->(Q->R)]->[(P->Q)->R]

She is working independantly through this book so I have NO IDEA what all of this means.

##### Share on other sites

This problem is from Critical Thinking Book 2 (the Critical Thinking Company)

My daughter needs to figure out if this is a tautology by proving if the argument is valid.

[P->(Q->R)]->[(P->Q)->R]

She is working independantly through this book so I have NO IDEA what all of this means.

Using the logical implication truth table from Wikipedia as a guide, consider the following:

Suppose P, Q, and R are all FALSE.  Then:

Since P is FALSE, [P->(Q->R)] is TRUE, regardless of what value is assigned to (Q->R)

(P->Q) = TRUE, therefore (P->Q) -> R is FALSE (since R is assumed FALSE)

Thus, [P->(Q->R)]->[(P->Q)->R] is equivalent to [TRUE -> FALSE] which is FALSE.

Thank you!

## Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

×   Pasted as rich text.   Paste as plain text instead

Only 75 emoji are allowed.