1 of 2

Chapter 13. Reductio

Learning Objectives

In this chapter you will learn…

  • How to use reductio in informal proofs
  • How to use ~Intro in formal proofs
  • How to identify contradictions and contradictory sets
  • How to use the contradiction symbol, #, in formal proofs

Click below to begin.