CS390 - Methods_of_proof - contradiction

From Steven Zeil