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.
P
Q
P ~P
Q ~Q
(P ~P) (Q ~Q)
T
T
F
T
T
T
F
F
T
T
F
T
F
T
T
F
F
F
T
T
A tautology is a statement which is always true.
Since all the entries in the last column are true, this statement is a tautology.