Tautologies and contradictions

• Tautologies are logical statements that are always true

  • p ? ?p ? T
  • T ? p ? T

• Contradictions are logical statements that are always false

  • p ? ?p ? F
  • F ? p ? F

Previous slide

Next slide

Back to first slide

View graphic version