I need help with Logic And Sets

Logic And Sets 1. express logical statements in propositional and predicate logic 2. reason about the meaning of such formulas through truth tables and models 3. argue formally whether one formula implies another one, or that they are equivalent 4. reduce a propositional formula to disjunctive or conjunctive normal form 5. express propositional formulas in logic circuits and OBDDs 6. reason about set constructions through Venn diagrams and the algebra of sets 7. construct and interpret formal, graphic, and matrix representations of sets, relations and functions 8. determine and argue whether a. a relation is reflexive, transitive, symmetric or antisymmetric. b. a relation is an ordering relation, equivalence relation, or a function c. a function is injective or surjective 9. construct and interpret compositions of relations (or functions) and their inverses 10. construct a proof by mathematical induction