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

Answer

The given statement is a tautology.

Work Step by Step

A compound statement that is always true is called a tautology, and a compound statement that is always false is called a self-contradiction. The truth table for the symbolic statement \[\left( p\leftrightarrow q \right)\leftrightarrow \left[ \left( q\to p \right)\wedge \left( p\to q \right) \right]\] is shown below
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.