Informal Proof and Theorem-Proving Techniques

Previously, we delved rather deeply into the derivation method. We explored various ways, such as direct and indirect proofs of logical propositions, and we introduced proof techniques involving quantifiers. Now we touch upon ways to write a proof somewhat less formally than the columnar way done earlier.