Question

What do you understand by the term tautology? Verify that the proposition p ~ (pq) is a tautology.

Answer 1

A tautology is a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables. A tautology is a statement that is always true, no matter what. If you construct a truth table for a statement and all of the column values for the statement are true (T), then the statement is a tautology be cause it's always true