<p> CmSc 175 Discrete Mathematics Study Guide Unit Exam 2</p><p>1. Be able to translate universally quantified English sentences to statements in predicate logic and find their negation</p><p>2. Be able to translate existentially quantified English sentences to statements in predicate logic and find their negation</p><p>3. Be able to recognize valid and invalid arguments in predicate logic, determine the inference rule applied and the types of errors.</p><p>4. Be able to write down the formal definitions of union, intersection, complements</p><p>5. Be able to solve proof problems on sets using the set identities or set formal definitions </p><p>6. Be able to find Cartesian products, partitions, power sets</p><p>7. Be able to compute union, complement, intersection of discrete sets and of sets of real numbers</p><p>8. Know the set identities and their correspondence in Propositional logic and Boolean Algebra</p><p>9. Know the axioms of Boolean Algebra</p><p>10. Know how to prove statements in Boolean algebra, e.g. x + x = x</p><p>1</p>