Previously, we used premises to show that a conclusion is true based on those premises. With tautologies, we have no premises at all!

Takeaway Points

  1. A tautology is a statement that is true regardless of the truth values of the simple sentences within it. For example, P v ~P is a tautology.
  2. Because tautologies start without premises, you have to use a proof by contradiction or conditional proof to show that it is true.
  3. From there, apply proof rules as usual.

Back to Logic 101