2.3. Proof by counter example, vacuous and trivial proofs, proof by cases, mistakes in proof Verbal Notes | Discrete Structure BEI | TU | TABFlux