DMP 4.2: Disproofs and Algebraic Proofs

Reading

Epp Section 6.3 pages 407–412. The algebraic proof method may be familiar from Inf1A. When writing out this kind of proof take care to make clear the justification for each step, from one line to the next.

If you read ahead to Section 6.4 on Boolean algebras you will also recognise this from Inf1A, but that material isn't directly part of this course.

Video

Exercises

• Exercise Set 6.3 Questions 3, 27, 28, 30, 36, 41, and 47