MATH 374 Midterm: MATH374 South Carolina 374Exam1review
Document Summary
Exam 1 will be based on: sections 1. 1 - 1. 6, the corresponding assigned homework problems (see http://www. math. sc. edu/ boylan/sccourses/374sp09/374. html) At minimum, you need to understand how to do the homework problems: lecture notes: 1/12 - 2/6. You will need to know how to de ne vocabulary words/phrases de ned in class. Logical connectives (e. g. , conjunction, disjunction, implication, negation, equivalence); truth tables, well-formed for- mulas (wffs); tautologies; de morgan"s laws. Propositions; valid arguments; derivation rules (e. g. , equivalence rules such as commutativity and inference rules such as modus ponens and modus tollens); deduction method; proof sequences as a method for proving that a propositional wff is a tautology. Derivation rules of predicate logic: rules of propositional logic together with existential and universal instantiation and generalization; restrictions on the instantiation and generalization rules; proof sequences for proving validity of predicate wffs; negation of quanti ers.
