374exam1review

374exam1review - Math 374, Exam 1 Information Exam 1 will...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Math 374, Exam 1 Information 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. Topic List (not necessarily comprehensive): You will need to know how to define vocabulary words/phrases defined in class. 1.1 : Statements, symbolic representation, and tautologies . Logical connectives (e.g., conjunction, disjunction, implication, negation, equivalence); truth tables, well-formed for- mulas (wffs); tautologies; De Morgans Laws. 1.2 : Propositional logic . 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....
View Full Document

Ask a homework question - tutors are online