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

contradiction

$((\lnot p\land q)\land(q \land r))\land \lnot q)$ $\underline{\ p\ |\ q\ |\ \lnot p\ |\ \lnot q\ |\ r\ |((\lnot p\land q)\land(q \land r))\land \lnot q) |result}$ $T\ |\ T|\ \ \ F\ |\ \ F\ |\ T|((F \land T)\land(T \land T))\land F)|\ \ \ \ F$ $T\ |\ F|\ \ \ F\ |\ \ T\ |\ T|((F \land F)\land(F \land T))\land T)|\ \ \ \ F$ $F\ |\ T|\ \ \ T\ |\ \ F\ |\ T|((T \land T)\land(T \land T))\land F)|\ \ \ \ F$ $F\ |\ F|\ \ \ T\ |\ \ T\ |\ T|((T \land F)\land(F \land T))\land T)|\ \ \ \ F$ $T\ |\ T|\ \ \ F\ |\ \ F\ |\ F|((F \land T)\land(T \land F))\land F)|\ \ \ \ F$ $T\ |\ F|\ \ \ F\ |\ \ T\ |\ F|((F \land F)\land(F \land F))\land T)|\ \ \ \ F$ $F\ |\ T|\ \ \ T\ |\ \ F\ |\ F|((T \land T)\land(T \land F))\land F)|\ \ \ \ F$ $F\ |\ F|\ \ \ T\ |\ \ T\ |\ F|((T \land F)\land(F \land F))\land T)|\ \ \ \ F$