Math 3000 Quiz #1


Write out the truth table for the proposition (P ~P) (Q ~Q) and determine whether it is a tautology, a contradiction or neither. Explain your conclusion.



PQP ~PQ ~Q(P ~P) (Q ~Q)
TTFTT
TFFTT
FTFTT
FFFTT
A tautology is a statement which is always true. Since all the entries in the last column are true, this statement is a tautology.