MA121 Lecture 2: Lab 2 Notes
Document Summary
Review summary for the tutorial and written quizzes of lab 4. Mathematical proofs in set theory and the underlying logical arguments. Each step of a proof in set theory is either an interpretation of a de nition, an application of a rule in propositional logic, or a consequence/example of a known theorem. Learners of mathematical proofs should be careful and patient while writing a proof, keeping a clear mind about what they are doing in each step. Very often the proof is led astray by a simple error in one step, and becomes invalid. Let a and b be subsets of the universal set u . Denote by ac and bc the complements of a and b in u respectively. Prove that, as subsets of the product set u u , Analyze the de nitions and the rules in logic that are used in each step of the proof. (a ac) (bc b) = (a b) (bc ac).