Question

Use a truth table to determine whether [(q<->p)^p]->q is a tautology, a self-contradiction, or neither.

Answer 1

Make a truth table for
\[
q \iff p
\]Then make one for \[
(q\iff p) \wedge p
\]

Answer 2

Okay... :) Workin on it as we speak!

Answer 3

then add the final column \[
[(q\iff p)\wedge p ]\implies q
\]

Answer 4

Thank you so much!! So, would it be a self-contradiction??

Answer 5

I know tautology is always true and I think self-contradiction is always false.

Answer 6

Alright.... so what would that mean for my answer? Im sorry, Im cramming for a semester exam and I have never seen this before :(