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 159: 33

Answer

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

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. Determine the truth table for the provided statement, \[\left[ \left( p\to q \right)\wedge q \right]\to p\] as shown below, As seen from the truth table that the given statement is neither always true nor always false, therefore, it is neither a tautology nor a self-contradiction. Hence, the given statement is neither always true nor always false, therefore, it is neither a tautology nor a self-contradiction.
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.