Discrete Mathematics with Applications 4th Edition

Published by Cengage Learning
ISBN 10: 0-49539-132-8
ISBN 13: 978-0-49539-132-6

Chapter 2 - The Logic of Compound Statements - Exercise Set 2.1 - Page 38: 41

Answer

contradiction

Work Step by Step

$(p\land \lnot q)\land(\lnot p \lor q)$ $\underline{\ p\ |\ q\ |\ \lnot p\ |\ \lnot q\ |\ \ \ (p\land \lnot q)\land(\lnot p \lor q)\ \ \ |result}$ $T\ |\ T|\ \ \ F\ |\ \ F\ |\ \ \ \ (T\land F)\land(F \lor T)\ \ \ |\ \ \ \ F$ $T\ |\ F|\ \ \ F\ |\ \ T\ |\ \ \ \ (T\land T)\land(F \lor F)\ \ \ |\ \ \ \ F$ $F\ |\ T|\ \ \ T\ |\ \ F\ |\ \ \ \ (F\land F)\land(T \lor T)\ \ \ |\ \ \ \ F$ $F\ |\ F|\ \ \ T\ |\ \ T\ |\ \ \ \ (F\land T)\land(T \lor F)\ \ \ |\ \ \ \ F$
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.