Cmsc 175 Discrete Mathematics s1

CmSc 175 Discrete Mathematics Study Guide Unit Exam 2

1. Be able to translate universally quantified English sentences to statements in predicate logic and find their negation

2. Be able to translate existentially quantified English sentences to statements in predicate logic and find their negation

3. Be able to recognize valid and invalid arguments in predicate logic, determine the inference rule applied and the types of errors.

4. Be able to write down the formal definitions of union, intersection, complements

5. Be able to solve proof problems on sets using the set identities or set formal definitions

6. Be able to find Cartesian products, partitions, power sets

7. Be able to compute union, complement, intersection of discrete sets and of sets of real numbers

8. Know the set identities and their correspondence in Propositional logic and Boolean Algebra

9. Know the axioms of Boolean Algebra

10. Know how to prove statements in Boolean algebra, e.g. x + x = x