2.1. Formal proofs and informal proofs, mathematical reasoning- direct proof and indirect proof (Proof by contradiction and proof by contraposition) Questions & Answers | Discrete Structure BEI | TU | TABFlux