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: 57

Answer

(a) The given compound statement can be represented in simple statements as, \[\begin{align} & p:\text{ You do homework right after class}. \\ & q:\text{ You will fall behind}\text{.} \\ \end{align}\] Use the representation to re-write the provided statement as, If p, then not q, and if not p, then q. ‘If-then’ is represented by the symbol ‘\[\to \]’, ‘Not or negation’ is represented by the symbol ‘\[\sim \]’, and ‘And’ is represented by the symbol ‘\[\wedge \]’. Use the symbols to determine the symbolic form of the provided statement as, \[\left( p\to \sim q \right)\wedge \left( \sim p\to q \right)\] Hence, the symbolic form for the provided statement is, \[\left( p\to \sim q \right)\wedge \left( \sim p\to q \right)\]. (b) The truth table is as follows: (c) From the truth table, it is clear that \[\left( p\to \sim q \right)\wedge \left( \sim p\to q \right)\] is true only when \[\left( p\to \sim q \right)\] and \[\left( \sim p\to q \right)\] are true. Hence, the provided statement is false when\[\left( p\to \sim q \right)\] and \[\left( \sim p\to q \right)\]have different truth values.
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.