Thinking Mathematically (6th Edition)

Published by Pearson
ISBN 10: 0321867327
ISBN 13: 978-0-32186-732-2

Chapter 3 - Logic - 3.4 Truth Tables for the Conditional and the Biconditional - Exercise Set 3.4 - Page 160: 52

Answer

The provided statement is neither a tautology nor a self-contradiction.

Work Step by Step

A conjunction \[\wedge \] is true only when both simple statements are true. Similarly, a disjunction\[\vee \] is false only when both component statements are false. The given compound statement is\[\left( p\wedge q \right)\to \left( \sim q\vee r \right)\], can be first deduced by finding the negation of \[q\]as\[\sim q\]. The negation of a statement can be obtained from complementing the result of that statement. Then, find\[p\wedge q\]by taking AND combination of two ingredient variables. Now, find\[\left( \sim q\vee r \right)\]by taking OR combination of two ingredient variables. Then at last,find\[\left( p\wedge q \right)\to \left( \sim q\vee r \right)\].It is a conditional statement, which would mean that it is false only when the former statement is true, and the latter statement is false. In all other cases, it is true. To construct the truth table, draw the table having 5 rows and 7 columns in which the elements of the first row are\[p,q,\sim q,\left( p\wedge q \right),\left( \sim q\vee r \right),\left( p\wedge q \right)\to \left( \sim q\vee r \right)\]. The final output is obtained as follows:
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.