Proof by Contradiction

Besides the subject mentioned in the title, we will bring also another theme up for discussion in this chapter, namely, the systematic conversion of closed deductive and semantic tableaux, already alluded to in par. 7.