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

Question

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

anonymous · Answer

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

anonymous · Answer

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

anonymous · Answer

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

anonymous · Answer

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

anonymous · Answer

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

anonymous · Answer

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

experimentx · Answer

|dw:1357107633128:dw|